标记模态归结的推广

• 作者: 刘瑞胜 孙吉贵 陈荣
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 模态逻辑 模态推理 标记模态归结
• 年，卷（期）: 1999,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 113-119
• 页数: 7页
• 分类号: TP301
• 字数: 9122字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.02.001

摘要

本文将作者提出的高效的命题模态D逻辑的标记模态归结方法推广到了命题模态逻辑K,K4,D4,T,S4系统,建立了上述命题模态逻辑的标记归结形式系统MRK,MRK4,MRD4,MRT,MRS4.并用转换子句模式的方法,借助于标记模态归结对命题模态D逻辑的可靠性结果,证明了标记模态归结系统MRK,MRK4,MRD4,MRT,MRS4分别关于命题模态逻辑K,K4,D4,T,S4的可靠性.进而得到了它们的完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙吉贵	吉林大学计算机科学系	134	2984	21.0	52.0
5	刘瑞胜	吉林大学计算机科学系	7	55	3.0	7.0
9	陈荣	吉林大学计算机科学系	6	51	3.0	6.0