A hierarchical analysis of propositional temporal logic based on intervals
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.
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.
ISBN : 1904987125
Research Group : Software Technology Research Laboratory (STRL)