Show simple item record

dc.contributor.authorMoszkowski, B. C.en
dc.date.accessioned2008-11-24T13:57:19Z
dc.date.available2008-11-24T13:57:19Z
dc.date.issued2007-04-01en
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.identifier.issn0955-792Xen
dc.identifier.urihttp://hdl.handle.net/2086/258
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.language.isoenen
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.typeArticleen
dc.identifier.doihttp://dx.doi.org/10.1093/logcom/exm006en
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record