A hierarchical analysis of propositional temporal logic based on intervals
Date
2005
Authors
Advisors
Journal Title
Journal ISSN
ISSN
DOI
Volume Title
Publisher
College Publications
Type
Book chapter
Peer reviewed
Abstract
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.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
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.