First-Order Modal Logic
| Main Authors: | , |
|---|---|
| 企业作者: | |
| 总结: | XX, 460 p. 1 illus. text |
| 语言: | 英语 |
| 出版: |
Cham :
Springer International Publishing : Imprint: Springer,
2023.
|
| 版: | 2nd ed. 2023. |
| 丛编: | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
480 |
| 主题: | |
| 在线阅读: | https://doi.org/10.1007/978-3-031-40714-7 |
| 格式: | 电子 图书 |
书本目录:
- 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.