Temporal Logic

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 The Background of Temporal Logic
3. Altmetric Badge
   Chapter 2 Topological Logic
4. Altmetric Badge
   Chapter 3 Fundamental Distinctions for Temporal Logic
5. Altmetric Badge
   Chapter 4 The Basic System R of Temporal Logic
6. Altmetric Badge
   Chapter 5 The Introduction of Tense Operators
7. Altmetric Badge
   Chapter 6 The System K t of Minimal Tense Logic
8. Altmetric Badge
   Chapter 7 Branching Time: The System K b
9. Altmetric Badge
   Chapter 8 Linear Time: The System K l and Its Variants
10. Altmetric Badge
    Chapter 9 Additive Time: The System R ⊕ and R ⊕ ±
11. Altmetric Badge
    Chapter 10 Metric Time and Chronological Logic: The System R +
12. Altmetric Badge
    Chapter 11 Tense Logical Characterizability and Definability
13. Altmetric Badge
    Chapter 12 Temporal Modality
14. Altmetric Badge
    Chapter 13 Temporally Conditioned Descriptions and the Concept of Temporal Purity
15. Altmetric Badge
    Chapter 14 The Theory of Processes
16. Altmetric Badge
    Chapter 15 The Logic of World States
17. Altmetric Badge
    Chapter 16 The Dimensionality of Time
18. Altmetric Badge
    Chapter 17 The “Master Argument” of Diodorus and Temporal Determinism
19. Altmetric Badge
    Chapter 18 Many-Valued Approaches to Temporal Logic
20. Altmetric Badge
    Chapter 19 Propositional Quantification in Tensed Statements
21. Altmetric Badge
    Chapter 20 Quantification,Temporal Existence, and Identity