Skip to main content
SpringerLink
Log in
Book cover

Advances in Temporal Logic

  • Book
  • © 2000

Overview

Editors:
  1. Howard Barringer

    1. University of Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael Fisher

    1. Manchester Metropolitan University, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Dov Gabbay

    1. King’s College London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Graham Gough

    1. University of Manchester, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Applied Logic Series (APLS, volume 16)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • University of Manchester, UK

    Howard Barringer, Graham Gough

  • Manchester Metropolitan University, UK

    Michael Fisher

  • King’s College London, UK

    Dov Gabbay

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation