First-Order Modal Logic
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Summary: | XX, 460 p. 1 illus. text |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| Edition: | 2nd ed. 2023. |
| Series: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
480 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-031-40714-7 |
| Format: | Electronic Book |
Table of Contents:
- Preface
- Acknowledgments
- Part I. Background: Propositional Classical Logic. 1. Background: Propositional Language
- 2. Background: Propositional Axiomatics
- 3. Background: Propositional Tableaus
- Part II. Propositional Modal Logic. 4. Modal Logic, an Introduction
- 5. Propositional Modal Logic
- 6. Propositional Modal Axiom Systems
- 7. Propositional Modal Tableaus
- Part III. First-Order Modal Logic. 8. Quantified Modal Logic
- 9. First-Order Modal Tableaus
- 10. First-Order Modal Axiomatics
- Part IV. Equality and Existence. 11. Equality
- 12. Existence
- Part V. Predicate Abstraction and Scope. 13. Predicate Abstraction, Informally
- 14. Predicate Abstraction, Formally
- 15. Tableaus for Predicate Abstraction
- 16. Tableau Soundness and Completeness. Part VI. Applications. 17. Equality and Predicate Abstraction
- 18. Designation
- 19. Rigidity
- 20. Definite Descriptions
- Afterward.