Abstract: The present paper proposes a method to construct the consistent theory. It finds the proper state description of more complicated formulas, then adds the corresponding exist state to existing consistent theory generated from atomic formulas.

Key words: modal logic, consistent theory, exist state, state description

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

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