%0 Journal Article
%T 公式分层的谓词模态逻辑
%A 孙梅莹？
%A 邓少波？
%A 陈博？
%A 曹存根？
%A 眭跃飞？
%J 软件学报
%P 1014-1024
%D 2014
%R 10.13328/j.cnki.jos.004500
%X 由于必然模态词□的引入，谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题，lewis提出了对应物理论，并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是，当一个对象具有一个以上的对应物时，谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词？的范围，给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑，并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的，使得？可以出现在□的范围内，并且□不能出现在？的范围内.由于任意形如？x□φ（x）的表达式都不是该逻辑的公式，以量词开头的公式在一个可能世界w中的真假值只依赖于w，该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义，并证明了该逻辑是可靠的和完备的.
%K 跨可能世界相等
%K 谓词模态逻辑
%K 可变论域语义
%K ？-性质
%K 可靠性
%K 完备性
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4500&flag=1