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

• 作者: 李璧镜
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模态逻辑 相容理论 存在状态 状态描述
• 年，卷（期）: 2014,（20）
• 所属期刊栏目: 博士论坛
• 页码范围: 20-23,29
• 页数: 5页
• 分类号: O141
• 字数: 5914字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1402-0086

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李璧镜	宝鸡文理学院数学系	8	39	3.0	6.0