Advances in Temporal Logic

  • Howard Barringer
  • Michael Fisher
  • Dov Gabbay
  • Graham Gough

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

Table of contents

  1. Front Matter
    Pages i-ix
  2. Iliano Cervesato, Massimo Franceschet, Angelo Montanari
    Pages 1-20
  3. Jeroen Krabbendam, John-Jules Meyer
    Pages 21-45
  4. Yassine Lakhnech, Michael Siegel
    Pages 71-90
  5. Angelo Montanari, Adriano Peron, Alberto Policriti
    Pages 91-108
  6. Orna Kupfermant, Moshe Y. Vardit
    Pages 109-127
  7. Nikolaj S. Bjørner, Uri Lerner, Zohar Manna
    Pages 129-148
  8. Clare Dixon
    Pages 149-166
  9. Michael Fisher, Clare Dixon
    Pages 167-184
  10. Torben Braüner, Per Hasle, Peter Øhstrøm
    Pages 185-206
  11. Miguel Leith, Jim Cunningham
    Pages 207-222
  12. Ian Pratt, Nissim Francez
    Pages 255-278
  13. Isabel Nunes, Jose Luiz Fiadeiro, Wladyslaw M. Turski
    Pages 299-317
  14. Hans Jürgen Ohlbach
    Pages 319-338
  15. Stefania Gnesi, Gioia Ristori
    Pages 339-357
  16. Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhichang Qi, Zhenghu Gong
    Pages 359-375
  17. Simon Thompson
    Pages 377-392
  18. Marcelo Finger, Mark Reynolds
    Pages 393-411
  19. Clare Dixon, Michael Fisher, Mark Reynolds
    Pages 413-433
  20. Howard Bowman, Helen Cameron, Peter King, Simon Thompson
    Pages 435-453

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.


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

Editors and affiliations

  • Howard Barringer
    • 1
  • Michael Fisher
    • 2
  • Dov Gabbay
    • 3
  • Graham Gough
    • 1
  1. 1.University of ManchesterUK
  2. 2.Manchester Metropolitan UniversityUK
  3. 3.King’s College LondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media Dordrecht 2000
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-5389-3
  • Online ISBN 978-94-015-9586-5
  • Series Print ISSN 1386-2790
  • Buy this book on publisher's site