首页 > 期刊 > 电子学报 > 模态逻辑系统S5中极大相容理论的结构刻画 【正文】
摘要:在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.
关键词:模态逻辑 极大相容理论 存在状态 状态描述
单位:宝鸡文理学院数学系; 陕西宝鸡721013
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
相关期刊
北大期刊
¥1272.00