Temporal Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Introduction: Logic and the study of time
3. Altmetric Badge
   Chapter 2 The sea-fight tomorrow
4. Altmetric Badge
   Chapter 3 The master argument of Diodorus Cronus
5. Altmetric Badge
   Chapter 4 The study of tenses in the middle ages
6. Altmetric Badge
   Chapter 5 Temporal ampliation
7. Altmetric Badge
   Chapter 6 The duration of the present
8. Altmetric Badge
   Chapter 7 The logic of beginning and ending
9. Altmetric Badge
   Chapter 8 Time and consequentia
10. Altmetric Badge
    Chapter 9 Temporalis — the logic of ‘While’
11. Altmetric Badge
    Chapter 10 Human freedom and divine foreknowledge
12. Altmetric Badge
    Chapter 11 The downfall of medieval tense-logic
13. Altmetric Badge
    Chapter 12 Logic as a timeless science
14. Altmetric Badge
    Chapter 13 The 19th century and Boolean logic
15. Altmetric Badge
    Chapter 14 C.S. Peirce on time and modality
16. Altmetric Badge
    Chapter 15 Łukasiewicz’s contribution to temporal logic
17. Altmetric Badge
    Chapter 16 A three-point structure of tenses
18. Altmetric Badge
    Chapter 17 A.N. Prior’s tense-logic
19. Altmetric Badge
    Chapter 18 The idea of branching time
20. Altmetric Badge
    Chapter 19 Tense logic and special relativity
21. Altmetric Badge
    Chapter 20 Some basic systems of temporal logic
22. Altmetric Badge
    Chapter 21 Four grades of tense-logical involvement
23. Altmetric Badge
    Chapter 22 Metric tense logic
24. Altmetric Badge
    Chapter 23 Two paradigms of temporal logic
25. Altmetric Badge
    Chapter 24 Indeterministic tense logic
26. Altmetric Badge
    Chapter 25 Leibnizian tense logic
27. Altmetric Badge
    Chapter 26 Tense logic and counterfactual reasoning
28. Altmetric Badge
    Chapter 27 Logic of durations
29. Altmetric Badge
    Chapter 28 Graphs for time and modality
30. Altmetric Badge
    Chapter 29 Temporal logic and computer science
31. Altmetric Badge
    Chapter 30 Conclusion