论文部分内容阅读
由于必然模态词□的引入，谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界．在谓词模态逻辑中存在个体跨可能世界相等问题．针对这一问题，Lewis提出了对应物理论，并且在对应物理论中用对应物关系来表示个体跨可能世界相等．但是，当一个对象具有一个以上的对应物时，谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应．通过限制谓词模态逻辑中全称量词Ⅴ的范围，给出了一种公式分层的谓词模态逻辑．它是谓词模态逻辑的一个子逻辑，并且其语言与谓词模态逻辑的语言是相同的．但其公式是分层定义的，使得