A hierarchical completeness proof for propositional temporal logic
Date
2004-02-24
Authors
Advisors
Journal Title
Journal ISSN
ISSN
0302-9743
Volume Title
Publisher
Springer Verlag
Type
Article
Peer reviewed
Abstract
Description
This paper introduces novel analysis of conventional propositional linear-time temporal logic (PTL). Two key features of the method are that it is hierarchical and an interval-oriented generalization of PTL called PITL serves as a kind of meta-notation. The presentation concerns axiomatic completeness for PTL but is further developed in Outputs 3 and 4 to consider numerous issues. Consequently, the significance and impact from those papers (including a BCS-FACS seminar and a Belgian national seminar) also reflects on this one which initiated the approach.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Moszkowski, B.C.(2004) A hierarchical completeness proof for propositional temporal logic.In: Dershowitz N. (eds) Verification: Theory and Practice. Lecture Notes in Computer Science, vol 2772. Springer, Berlin, Heidelberg.