Temporal Logic

From Ancient Ideas to Artificial Intelligence

  • Peter Øhrstrøm
  • F. V. Per Hasle

Part of the Studies in Linguistics and Philosophy book series (SLAP, volume 57)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Introduction: Logic and the study of time

  3. Time and Logic — From Synthesis to Dissociation

  4. Time and Logic Reunited

  5. Modern issues in temporal logic

    1. Front Matter
      Pages 241-242
    2. Pages 270-281
    3. Pages 303-319
    4. Pages 366-372
  6. Back Matter
    Pages 373-412

About this book


Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.


artificial intelligence computer computer science language logic science time

Authors and affiliations

  • Peter Øhrstrøm
    • 1
  • F. V. Per Hasle
    • 2
  1. 1.Department of CommunicationAalborg UniversityDenmark
  2. 2.Department of Information ScienceUniversity of AarhusDenmark

Bibliographic information