具有模态词□φ＝□1φν□2φ且可靠与完备的公理系统

摘要：

提出具有模态词□φ＝□1φν□2φ的命题模态逻辑,给出其语言、语法与语义,其公理化系统是可靠与完备的,其中,□1与□2是给定的模态词.该逻辑的公理化系统具有与公理系统S5相似的语言,但具有不同的语法与语义.对于任意的公式φ2□φ＝□1φν□2φ;框架定义为三元组〈W,R1,R2〉,模型定义为四元组〈W,R1,R2,I〉;在完备性定理证明过程中,需要在由所有极大协调集所构成的集合上构造出两个等价关系,其典型模型的构建方法与经典典型模型的构建方法不同.如果□1的可达关系R1等于□2的可达关系R2,那么该逻辑的公理化系统变成S5.

关键词：命题模态逻辑、模态词、公理系统

所属期刊栏目：26

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金61363047,61173063,60773059,61035004;江西省教育厅科技厅项目GJJ14748;江西省科技厅项目20111BBE50008,2011ZBBE50035,20112BBE50052

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

页数：共11页

页码：2286-2296