论文部分内容阅读
以文为基础,本文试图建立中介模态逻辑MK的自动推理理论。文中给出了中介模态逻辑正规系统MK的表推演系统,详细证明了该系统的可靠性与完备性。
Based on the text, this paper tries to establish the automatic reasoning theory of mediation modal logic MK. In this paper, we present a table deduction system of MK formal system, and prove the reliability and completeness of this system in detail.