摘要
本文基于中介逻辑建立了一种中介时序逻辑系统MTL(MediumTemporalLogic),文中着重讨论了MTL的形式系统并给出了它的语义解释,证明了MTL系统的可靠性.最后对MTL系统和经典时序命题逻辑系统进行对比。
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.
基金
国家高技术研究发展计划
国家自然科学基金
关键词
中介逻辑
时序逻辑
命题逻辑
中介时序逻辑
medium logic, temporal logic, proposition logic, medium temporal logic.