基于中介逻辑的多模态逻辑系统

发布时间：2018-04-29 04:41

本文选题：中介逻辑 + 多模态逻辑　；参考：《南京航空航天大学学报》1996年01期

【摘要】：多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。
[Abstract]:As an extension of modal logic, multimodal logic is the basis of temporal and dynamic expansion of modal logic. Intermediary logic is a new logic system, which has been developed greatly since its creation and has been widely used in the fields of mathematical logic and computer science. In this paper, a multimodal logic system based on intermediary logic is constructed, its reasoning rules and semantic interpretation are discussed, and the reliability and completeness of MMK are proved. On this basis, a temporal logic system based on intermediary logic is presented, and its reliability and completeness are discussed. Finally, the relationship between the corresponding classical multimodal logic system and the MMK system, the classical temporal logic system and the MT system is analyzed.
【作者单位】：南京航空航天大学计算机科学与工程系
【基金】：国家高技术研究发展计划,国家基础研究“攀登计划”资助
【分类号】：O141

【相似文献】