命题模态逻辑S5系统中并行推理方法

命题模态逻辑S5系统中并行推理方法

杨洋，李广力，张桐搏，刘磊，吕帅

Parallel Reasoning Methods in Propositional Modal Logic S5

YANG Yang, LI Guangli, ZHANG Tongbo, LIU Lei, LV Shuai

计算机科学与探索 . 2016, (12): 1783 -1792 . DOI: 10.3778/j.issn.1673-9418.1509035