A Proof System for Projection Temporal Logic
A Proof System for Projection Temporal Logic
复制标题
DOI：
10.1007/978-3-642-01209-9_25
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
Zhenhua Duan;Xinfeng Shu
中科院分区：
文献类型：
--
作者：
Zhenhua Duan;Xinfeng Shu
提出了有限域上投影时间逻辑的一个证明系统。为此，简要介绍了PTL的语法和语义；形式化了一组公理和推理规则；并对一些定理进行了总结和证明。进一步，给出了一个例子来说明公理和规则是如何工作的。
This paper presents a proof system for projection temporal logic (PTL) over finite domains. To this end, the syntax and semantics of PTL are briefly presented; a set of axioms and inference rules is formalized; also some theorems are summarized and proved. Further, an example is given to illustrate how the axioms and rules work.