Using temporal logic to analyse temporal logic: A hierarchical approach based on intervals

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Moszkowski, B. C. en
dc.date.accessioned 2008-11-24T13:57:19Z
dc.date.available 2008-11-24T13:57:19Z
dc.date.issued 2007-04-01 en
dc.identifier.citation Moszkowski, 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.identifier.issn 0955-792X en
dc.identifier.uri http://hdl.handle.net/2086/258
dc.description This 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.language.iso en en
dc.publisher Oxford University Press en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.subject Axiomatic completeness
dc.subject decision procedures
dc.subject interval temporal logic
dc.subject small models
dc.subject temporal logic
dc.title Using temporal logic to analyse temporal logic: A hierarchical approach based on intervals en
dc.type Article en
dc.identifier.doi http://dx.doi.org/10.1093/logcom/exm006 en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record