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

计算机工程与应用 ›› 2014, Vol. 50 ›› Issue (20): 20-23.

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

李璧镜

宝鸡文理学院数学系，陕西宝鸡 721013

出版日期:2014-10-15 发布日期:2014-10-28

Method to construct consistent theory in modal logic S5

LI Bijing

Department of Mathematics, Baoji University of Arts and Sciences, Baoji, Shaanxi 721013, China

Online:2014-10-15 Published:2014-10-28

摘要/Abstract

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

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

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中相容理论的构造方法[J]. 计算机工程与应用, 2014, 50(20): 20-23.

LI Bijing. Method to construct consistent theory in modal logic S5[J]. Computer Engineering and Applications, 2014, 50(20): 20-23.

[1]	李璧镜. 模态逻辑公式的真度理论[J]. 计算机工程与应用, 2013, 49(3): 40-43.
[2]	刘华丽. 模态逻辑中公式的模态真度[J]. 计算机工程与应用, 2010, 46(31): 61-63.