中介自动推理的理论与实现（Ⅳ）——一类基于中介逻辑的模态逻辑系统

摘要

本文以文[7]、[8]、[9]为基础,构造了一类基于中介逻辑的模态逻辑系统MK、MT、MS4及MS5,给出了它们的直观背景、推理规则及语义解释、证明了正规系统MK的可靠性与完备性定理。分析了这些系统与经典模态逻辑系统之间的关系。