A hierarchical analysis of propositional temporal logic 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:16Z
dc.date.available 2008-11-24T13:57:16Z
dc.date.issued 2005
dc.identifier.citation Moszkowski, B.C. (2005) A hierarchical analysis of propositional temporal logic based on intervals. In: Artimov, S. et al. eds. We will show them! Essays in honour of Dov Gabbay , volume 2. College Publications. pp. 371-440.
dc.identifier.isbn 1904987125 en
dc.identifier.uri http://hdl.handle.net/2086/252
dc.description This Output is a bridge between Outputs 1 and 4. It significantly extends Output 1 by demonstrating how to hierarchically analyse various aspects of propositional linear-time temporal logic (PTL) within the interval-oriented temporal logic PITL. These include small models, implemented BDD-based symbolic decision procedures and past time. The presentation now introduces the key novel interval-oriented aspects of the analysis earlier than in Output 1. The paper convincingly shows PITL’s role in PTL’s foundations. Together with Output 2’s complementary material, it will strengthen the awareness and understanding of theoretical and practical links between PTL and its interval-oriented generalizations, including tool support. en
dc.language.iso en en
dc.publisher College Publications en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title A hierarchical analysis of propositional temporal logic based on intervals en
dc.type Book chapter en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record