Präsentiert durch Paradigm Publishing Services
Mcgill-queen's University Press
Kapitel
Lizenziert
Nicht lizenziert
Erfordert eine Authentifizierung
Chapter 10 Temporal Logic
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Sie haben derzeit keinen Zugang zu diesem Inhalt.
Kapitel in diesem Buch
- Front Matter i
- Contents v
- Preface vi
- Acknowledgements viii
- Argument and Modality 1
-
Formal systems
- A Simple Modal Logic 13
- The Normal Modal Logics 28
- The Non-Normal Modal Logics 52
- Natural Deduction and Axiomatics 68
- Conditional logic 87
- Modal Predicate Logics 106
- Quantifiers and Existence 126
-
Applications
- Alethic Modality 139
- Temporal Logic 151
- Dynamic Logic 172
- Epistemic Logic 178
- Deontic Logic 200
- Conditionals and Reliability 207
- Synthesis and Worlds 226
- Answers 230
- Index 245
Kapitel in diesem Buch
- Front Matter i
- Contents v
- Preface vi
- Acknowledgements viii
- Argument and Modality 1
-
Formal systems
- A Simple Modal Logic 13
- The Normal Modal Logics 28
- The Non-Normal Modal Logics 52
- Natural Deduction and Axiomatics 68
- Conditional logic 87
- Modal Predicate Logics 106
- Quantifiers and Existence 126
-
Applications
- Alethic Modality 139
- Temporal Logic 151
- Dynamic Logic 172
- Epistemic Logic 178
- Deontic Logic 200
- Conditionals and Reliability 207
- Synthesis and Worlds 226
- Answers 230
- Index 245