广义可能性计算树逻辑和计算树逻辑的关系

李丹，李永明

Relationship Between Generalized Possibilistic Computation Tree Logic and Computation Tree Logic

LI Dan, LI Yongming

计算机科学与探索 . 2017, (10): 1681 -1688 . DOI: 10.3778/j.issn.1673-9418.1607030