模态逻辑中的(n)真度理论与和谐定理

摘要：

首次在模态逻辑中通过有限模型建立了模态公式的(n)真度理论,得到了当模态词不出现时(n)真度与经典二值命题逻辑中的真度保持一致的和谐定理.研究了时态逻辑中命题的(n)真度随n变化的性态.提出了模态公式间的(佗)相似度理论,并由此在全体公式之集中建立了(n)伪距离,得出了(n)模态逻辑度量空间,该空间以经典逻辑度量空间为子空间,从而可将经典命题逻辑中的近似推理理论推广到模态逻辑之中.

关键词：模态逻辑、(n)真度、和谐定理、时态逻辑、(n)模态相似度、(n)模态逻辑度量空间、近似推理

所属期刊栏目：39

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金;陕西师范大学211工程建设基金

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

页数：共12页

页码：234-245