| 公式分层的谓词模态逻辑 |
| |
| 引用本文： | 孙梅莹,邓少波,陈博,曹存根,眭跃飞. 公式分层的谓词模态逻辑[J]. 软件学报, 2014, 25(5): 1014-1024 |
| |
| 作者姓名： | 孙梅莹 邓少波 陈博 曹存根 眭跃飞 |
| |
| 作者单位： | 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学, 北京 100049;中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学, 北京 100049;中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学, 北京 100049;中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190 |
| |
| 基金项目： | 国家自然科学基金（60573064，91224006，61203284，61173063） |
| |
| 摘 要： | 由于必然模态词□的引入，谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题，Lewis提出了对应物理论，并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是，当一个对象具有一个以上的对应物时，谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围，给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑，并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的，使得∀可以出现在□的范围内，并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式，以量词开头的公式在一个可能世界w中的真假值只依赖于w，该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义，并证明了该逻辑是可靠的和完备的.
|
| 关 键 词： | 跨可能世界相等 谓词模态逻辑 可变论域语义 ∀-性质 可靠性 完备性 |
| 收稿时间： | 2013-05-16 |
| 修稿时间： | 2013-09-02 |
Formula-Layered Predicate Modal Logic |
| |
| SUN Mei-Ying,DENG Shao-Bo,CHEN Bo,CAO Cun-Gen and SUI Yue-Fei. Formula-Layered Predicate Modal Logic[J]. Journal of Software, 2014, 25(5): 1014-1024 |
| |
| Authors: | SUN Mei-Ying DENG Shao-Bo CHEN Bo CAO Cun-Gen SUI Yue-Fei |
| |
| Affiliation: | Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China;University of Chinese Academy of Sciences, Beijing 100049, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China;University of Chinese Academy of Sciences, Beijing 100049, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China;University of Chinese Academy of Sciences, Beijing 100049, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China;Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, The Chinese Academy of Sciences, Beijing 100190, China |
| |
| Abstract: | |
| |
| Keywords: | transworld identity predicate modal logic varying domain semantics ∀-property soundness completeness |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
