Medium modal logic-formal system and semantics
Zou Jing, Qui Weide · 2003
The authors construct a medium modal logic based on medium logic. They present three systems, MT, MS/sub 4/, and MS/sub 5/, which are, respectively, extensions of classical modal logic systems T, S/sub 4/, and S/sub 5/. The authors take medium set theory as a metalanguage to study semantics, proof soundness, and completeness.>