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

About this book

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-0-585-37463-5
  • Copyright Information Kluwer Academic Publishers 1995
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-7923-3586-3
  • Online ISBN 978-0-585-37463-5
  • About this book