模态逻辑系统S5中相容理论的构造方法

摘要：

在模态逻辑系统S5中借助公式的状态描述等概念，提出了一种从最简单的原子公式对应的相容理论开始，对于较复杂的公式形式，寻找恰当的状态描述，再将对应的存在状态加入最初的相容理论后仍相容的方法。

关键词：模态逻辑、相容理论、存在状态、状态描述

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学青年基金No.11001158；宝鸡文理学院重点科研项目No.ZK1047。

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

页数：共5页

页码：20-23,29