Computer Engineering and Applications ›› 2014, Vol. 50 ›› Issue (20): 20-23.

Previous Articles     Next Articles

Method to construct consistent theory in modal logic S5

LI Bijing   

  1. Department of Mathematics, Baoji University of Arts and Sciences, Baoji, Shaanxi 721013, China
  • Online:2014-10-15 Published:2014-10-28

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

李璧镜   

  1. 宝鸡文理学院 数学系,陕西 宝鸡 721013

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中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。

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