Computer Engineering and Applications ›› 2014, Vol. 50 ›› Issue (20): 20-23.
Previous Articles Next Articles
LI Bijing
Online:
Published:
李璧镜
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中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
关键词: 模态逻辑, 相容理论, 存在状态, 状态描述
LI Bijing. Method to construct consistent theory in modal logic S5[J]. Computer Engineering and Applications, 2014, 50(20): 20-23.
李璧镜. 模态逻辑系统S5中相容理论的构造方法[J]. 计算机工程与应用, 2014, 50(20): 20-23.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2014/V50/I20/20