Advances in Temporal Logic

1. Front Matter

   Pages i-ix

   PDF

2. A Hierarchy of Modal Event Calculi: Expressiveness and Complexity

   • Iliano Cervesato, Massimo Franceschet, Angelo Montanari

   Pages 1-20

3. Release Logics for Temporalizing Dynamic Logic

   • Jeroen Krabbendam, John-Jules Meyer

   Pages 21-45

4. Compositional Verification of Timed Statecharts

   • Francesca Levi

   Pages 47-70

5. Temporal Logic for Stabilizing Systems

   • Yassine Lakhnech, Michael Siegel

   Pages 71-90

6. Decidable Theories of ω-Layered Metric Temporal Structures

   • Angelo Montanari, Adriano Peron, Alberto Policriti

   Pages 91-108

7. Synthesis with Incomplete Informatio

   • Orna Kupfermant, Moshe Y. Vardit

   Pages 109-127

8. Deductive Verification of Parameterized Fault-Tolerant Systems: A Case Study

   • Nikolaj S. Bjørner, Uri Lerner, Zohar Manna

   Pages 129-148

9. Using Otter for Temporal Resolution

   • Clare Dixon

   Pages 149-166

10. Guiding Clausal Temporal Resolution

    • Michael Fisher, Clare Dixon

    Pages 167-184

11. Determinism and the Origins of Temporal Logic

    • Torben Braüner, Per Hasle, Peter Øhstrøm

    Pages 185-206

12. Modelling Linguistic Events

    • Miguel Leith, Jim Cunningham

    Pages 207-222

13. A Dynamic Temporal Logic for Aspectual Phenomena in Natural Language

    • Ralf Naumann

    Pages 223-253

14. A Decidable Temporal Logic for Temporal Prepositions

    • Ian Pratt, Nissim Francez

    Pages 255-278

15. Transitions in Continuous Time, with an Application to Qualitative Changes in Spatial Relations

    • Antony Galton

    Pages 279-297

16. A Modal Logic of Durative Actions

    • Isabel Nunes, Jose Luiz Fiadeiro, Wladyslaw M. Turski

    Pages 299-317

17. About Real Time, Calendar Systems and Temporal Notions

    • Hans Jürgen Ohlbach

    Pages 319-338

18. A Model Checking Algorithm for π-Calculus Agents

    • Stefania Gnesi, Gioia Ristori

    Pages 339-357

19. Interleaving Model and Verification of Distributed Probabilistic Real-time Systems

    • Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhichang Qi, Zhenghu Gong

    Pages 359-375

20. Constructive Interval Temporal Logic in Alf

    • Simon Thompson

    Pages 377-392

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query­ ing, granularity of time, update mechanisms, active temporal data­ bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in­ terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo­ ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

• Action
• C programming language
• Natural
• algorithms
• complexity
• databases
• information
• logic
• modal logic

• University of Manchester, UK

  Howard Barringer, Graham Gough

• Manchester Metropolitan University, UK

  Michael Fisher

• King’s College London, UK

  Dov Gabbay

Policies and ethics