作者:李璧镜模态逻辑极大相容理论存在状态状态描述
摘要:在模态逻辑系统S5中提出了任意一模态公式关于一个极大相容理论的存在状态及状态描述等一系列概念,并且借助状态描述这一工具研究了相容理论的相容扩张,最后给出了模态逻辑系统S5中极大相容理论的一个结构刻画,证明了任何一个极大相容理论都是所有简单合取式和简单析取式的相容存在状态之集的理论闭包.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《电子学报》(CN:11-2087/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。
部级期刊
人气 371615 评论 74
人气 308140 评论 62
人气 269790 评论 66
省级期刊
人气 238661 评论 36