中介模态逻辑——形式系统及语义  

Medium Modal Logic-Formal System and Semantics

作　　者：邹晶[1] 邱伟德[1] 

机构地区：[1]上海工业大学计算机工程系

出　　处：《Journal of Mathematical Research and Exposition》1991年第2期311-316,共6页数学研究与评论（英文版）

基　　金：上海市高教局科研基金资助项目

摘　　要：本文构造中介模态逻辑,给出三个系统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.

关 键 词：中介模态逻辑 形式系统 语义 

分 类 号：O141.3[理学—数学]