摘要
在模态逻辑系统S5中借助公式的状态描述等概念,提出了一种从最简单的原子公式对应的相容理论开始,对于较复杂的公式形式,寻找恰当的状态描述,再将对应的存在状态加入最初的相容理论后仍相容的方法。
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.
出处
《计算机工程与应用》
CSCD
2014年第20期20-23,29,共5页
Computer Engineering and Applications
基金
国家自然科学青年基金(No.11001158)
宝鸡文理学院重点科研项目(No.ZK1047)
关键词
模态逻辑
相容理论
存在状态
状态描述
modal logic
consistent theory
exist state
state description
