A hierarchical completeness proof for propositional temporal logic

Date

2004-02-24

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.

Rights

Research Institute