Temporal Logic

From Ancient Ideas to Artificial Intelligence

Authors:

ISBN: 978-0-7923-3586-3 (Print) 978-0-585-37463-5 (Online)

Table of contents (30 chapters)

previous Page of 2
  1. Front Matter

    Pages i-viii

  2. Introduction: Logic and the study of time

    1. No Access

      Book Chapter

      Pages 1-5

      Introduction: Logic and the study of time

  3. Time and Logic — From Synthesis to Dissociation

    1. Front Matter

      Pages 6-9

    2. No Access

      Book Chapter

      Pages 10-14

      The sea-fight tomorrow

    3. No Access

      Book Chapter

      Pages 15-32

      The master argument of Diodorus Cronus

    4. No Access

      Book Chapter

      Pages 33-38

      The study of tenses in the middle ages

    5. No Access

      Book Chapter

      Pages 39-42

      Temporal ampliation

    6. No Access

      Book Chapter

      Pages 43-51

      The duration of the present

    7. No Access

      Book Chapter

      Pages 52-64

      The logic of beginning and ending

    8. No Access

      Book Chapter

      Pages 65-70

      Time and consequentia

    9. No Access

      Book Chapter

      Pages 71-86

      Temporalis — the logic of ‘While’

    10. No Access

      Book Chapter

      Pages 87-108

      Human freedom and divine foreknowledge

    11. No Access

      Book Chapter

      Pages 109-113

      The downfall of medieval tense-logic

    12. No Access

      Book Chapter

      Pages 114-117

      Logic as a timeless science

  4. Time and Logic Reunited

    1. Front Matter

      Pages 118-121

    2. No Access

      Book Chapter

      Pages 122-127

      The 19th century and Boolean logic

    3. No Access

      Book Chapter

      Pages 128-148

      C.S. Peirce on time and modality

    4. No Access

      Book Chapter

      Pages 149-154

      Łukasiewicz’s contribution to temporal logic

    5. No Access

      Book Chapter

      Pages 155-166

      A three-point structure of tenses

    6. No Access

      Book Chapter

      Pages 167-179

      A.N. Prior’s tense-logic

    7. No Access

      Book Chapter

      Pages 180-196

      The idea of branching time

    8. No Access

      Book Chapter

      Pages 197-202

      Tense logic and special relativity

    9. No Access

      Book Chapter

      Pages 203-215

      Some basic systems of temporal logic

previous Page of 2