Journal article
A complete proof system for propositional projection temporal logic
Abstract
The paper presents a proof system for Propositional Projection Temporal Logic (PPTL) with projection-plus. The syntax, semantics, and logical laws of PPTL are introduced together with an axiom system consisting of axioms and inference rules. To facilitate proofs, some of the frequently used theorems are proved. A normal form of PPTL formulas is presented, and the soundness and completeness of the proof system are demonstrated. To show how the …
Authors
Duan Z; Zhang N; Koutny M
Journal
Theoretical Computer Science, Vol. 497, , pp. 84–107
Publisher
Elsevier
Publication Date
7 2013
DOI
10.1016/j.tcs.2012.01.026
ISSN
0304-3975