Sciweavers

Share
BIRTHDAY
2003
Springer

A Hierarchical Completeness Proof for Propositional Temporal Logic

10 years 9 months ago
A Hierarchical Completeness Proof for Propositional Temporal Logic
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). This makes use of a natural hierarchy of logics and notions and is an interesting alternative to the proofs in the literature based on tableaux, filtration, game theory and other methods. In particular we exploit the deductive completeness of a sublogic in which the only temporal operator is (“next”). This yields a proof which is in certain respects more direct and higher-level than previous ones. The presentation also reveals unexpected fundamental links to a natural and preexisting framework for interval-based reasoning and fixpoints of temporal operators.
Ben C. Moszkowski
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where BIRTHDAY
Authors Ben C. Moszkowski
Comments (0)
books