Valentin Goranko (Stockholms Universitet)

Temporal Logics

• Broschiertes Buch

Produktbeschreibung

Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.

Produktdetails

• Elements in Philosophy and Logic
• Verlag: Cambridge University Press
• Seitenzahl: 75
• Erscheinungstermin: 5. Oktober 2023
• Englisch
• Abmessung: 229mm x 152mm x 6mm
• Gewicht: 180g
• ISBN-13: 9781009170109
• ISBN-10: 1009170104
• Artikelnr.: 67781005

Inhaltsangabe

Preface
1. Temporal reasoning and logics: introduction and a brief historical overview
2. The variety of models of time
3. Prior's basic systems of temporal logic
4. Temporal logics for linear time
5. Reasoning about non-determinism: models and logics for branching time
6. The Peircean branching time logic PBTL
7. The Ockhamist branching time logic OBTL
8. First-order temporal logics
9. Variations, extensions, and applications of temporal logics
References.