| 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. |
