This paper presents a system of MTL (Medium Temporal Logic) based on the medium logic. Emphasis is given on the formal system of MTL, by discussing its semantics and proving the soundness: Finally,we compare the system of MTL with that of classical temporal propositional logic,pointing out that it is a subsystem of MTL. |