A Sound and Complete Axiomatic System for Modality □(ψ)□1(ψ)∧□2(ψ)

摘要：

　　An axiomatic system is presented in this paper, which has a modal operator □ such that □(ψ)□1(ψ)∧□2(ψ), where □1 and □2 are the modal operators of the language for the axiom system S5.The axiomatic system for □ is proved to be sound and complete.

关键词： Modal logic Axiomatic system S5 Soundness Completeness Canonical model

作者: Shaobo Deng Meiying Sun Cungen Cao Yuefei Sui

作者单位: Key Laboratory of Intelligent Information Processing,Institute of Computing Technology, Chinese Acad Key Laboratory of Intelligent Information Processing,Institute of Computing Technology, Chinese Acad

会议类型: 国际会议

会议名称: 8th International Conference on Intelligent Information Processing(2014年IFIP智能信息处理国际会议)

会议地点: 杭州

会议语种:英文

页码: 152-160

在线出版日期: 2014-10-01（万方平台首次上网日期，不代表论文的发表时间）