摘要
本文构造中介模态逻辑,给出三个系统MT,MS_4和MS_5,它们分别是经典模态逻辑T,S_4,S_5的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理.
This paper construct the medium modal logic based on the medium logic . We present three systems MT, MS4, and MS5 which are respectively extensions of classical modal logic systems T, S4 , S5 . We take medium set theory as me-talanguage to study semantic problem and proof soundness theorem and comple-teness threorem.
基金
上海市高教局科研基金资助项目
