Show simple item record

dc.contributor.authorMoszkowski, B. C.en
dc.identifier.citationMoszkowski, B.C. (2007) Using temporal logic to analyse temporal logic: A hierarchical approach based on intervals. Journal of Logic and Computation, 17 (2), pp. 333-409
dc.descriptionThis work further develops and perfects the hierarchical interval-oriented methods for analysing conventional propositional linear-time temporal logic (PTL) contained in earlier Outputs 1 and 3. It includes numerous simplified examples, algorithms and proofs. In addition, extensive material on decision procedures for PTL with infinite time has been added, including natural reductions to a normal form in PTL closely resembling Buechi automata. Consequently, some existing practical algorithms for analysing Buechi automata should be adaptable. Following invitations, we presented the work as a BCS-FACS seminar in London and also as a Belgian national seminar on verification in Brussels.en
dc.publisherOxford University Pressen
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.subjectAxiomatic completeness
dc.subjectdecision procedures
dc.subjectinterval temporal logic
dc.subjectsmall models
dc.subjecttemporal logic
dc.titleUsing temporal logic to analyse temporal logic: A hierarchical approach based on intervalsen
dc.researchgroupSoftware Technology Research Laboratory (STRL)

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record