首页 | 本学科首页   官方微博 | 高级检索  
     

认识逻辑(4):关于认识逻辑的可判定性
引用本文:刘瑞胜,孙吉贵,刘叙华.认识逻辑(4):关于认识逻辑的可判定性[J].计算机学报,1998,21(Z1):9-16.
作者姓名:刘瑞胜  孙吉贵  刘叙华
作者单位:吉林大学计算机科学系,长春,130023
基金项目:国家自然科学基金,国家高技术研究发展计划(863计划),,,,
摘    要:判定问题是逻辑研究中的重要问题.本文讨论了关于带有索引的认识逻辑ELI的基于语义tableau方法的判定过程,阐明了ELI的Mwff的可判定性.由于认识逻辑EL的公式与ELI的Mwff是对应的,因而,认识逻辑EL也是可判定的.

关 键 词:模态逻辑  认识逻辑  可判定性  语义tableau
修稿时间:1997年3月27日

EPISTEMIC LOGIC(4):ON THE DECIDABILITY OF EPISTEMIC LOGIC
LIU Rui-Sheng,SUN Ji-Gui,LIU Xu-Hua.EPISTEMIC LOGIC(4):ON THE DECIDABILITY OF EPISTEMIC LOGIC[J].Chinese Journal of Computers,1998,21(Z1):9-16.
Authors:LIU Rui-Sheng  SUN Ji-Gui  LIU Xu-Hua
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号