直觉模糊测度的计算树逻辑

直觉模糊测度的计算树逻辑

鱼先锋，李超，李永明

Computation Tree Logic Based on Intuitionistic Fuzzy Measure

YU Xianfeng, LI Chao, LI Yongming

计算机科学与探索 . 2017, (9): 1523 -1530 . DOI: 10.3778/j.issn.1673-9418.1606020