公式分层的谓词模态逻辑?

• 作者: 孙梅莹 曹存根 眭跃飞 邓少波 陈博
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 跨可能世界相等 谓词模态逻辑 可变论域语义 ?-性质 可靠性 完备性
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 1014-1024
• 页数: 11页
• 分类号: TP18
• 字数: 11540字
• 语种: 中文

摘要

由于必然模态词,的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界。在谓词模态逻辑中存在个体跨可能世界相等问题。针对这一问题,Lewis 提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等。但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应。通过限制谓词模态逻辑中全称量词?的范围,给出了一种公式分层的谓词模态逻辑。它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的。但其公式是分层定义的,使得?可以出现在,的范围内,并且,不能出现在?的范围内。由于任意形如?x,φ(x)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题。给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曹存根	中国科学院计算技术研究所智能信息处理重点实验室	91	991	17.0	27.0
2	陈博	中国科学院计算技术研究所智能信息处理重点实验室	37	459	11.0	21.0
6	孙梅莹	中国科学院计算技术研究所智能信息处理重点实验室	1	4	1.0	1.0
10	邓少波	中国科学院计算技术研究所智能信息处理重点实验室	3	7	2.0	2.0