模态逻辑系统S5中极大相容理论的结构刻画

• 作者: 李璧镜
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 模态逻辑 极大相容理论 存在状态 状态描述
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1551-1555
• 页数: 5页
• 分类号: O141
• 字数: 5383字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2014.08.014

摘要

在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.

作者信息

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