| 认识逻辑(3):基于语义tableau的证明理论 |
| |
| 引用本文： | 刘瑞胜,孙吉贵,刘叙华.认识逻辑(3):基于语义tableau的证明理论[J].计算机学报,1998,21(Z1):1-8. |
| |
| 作者姓名： | 刘瑞胜 孙吉贵 刘叙华 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，，，， |
| |
| 摘 要： | 本文定义了带有索引的认识逻辑ELI,讨论了ELI的语义tableau的证明过程,证明了模态tableau的相容性和完备性.由于ELI与认识逻辑EL是等价的,因而,本文讨论的tableau证明过程也可以作为EL的证明理论.
|
| 关 键 词： | 模态逻辑 认识逻辑 语义tableau 证明理论 |
| 修稿时间： | 1997年3月27日 |
EPISTEMIC LOGIC(3):ON SEMANTIC TABLEAU PROOF PROCEDURE |
| |
| LIU Rui-Sheng,SUN Ji-Gui,LIU Xu-Hua.EPISTEMIC LOGIC(3):ON SEMANTIC TABLEAU PROOF PROCEDURE[J].Chinese Journal of Computers,1998,21(Z1):1-8. |
| |
| Authors: | LIU Rui-Sheng SUN Ji-Gui LIU Xu-Hua |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
