模态逻辑系统S5中的范式定理及其在知识系统中的应用

摘要：

研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题.

关键词：模态逻辑系统S5、范式定理、知识库、KB命题

所属期刊栏目：36

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金10771129

在线出版日期：2008-06-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1-6