紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
First-order modal logic/ by Melvin Fitting, Richard L. Mendelsohn. |
作者: |
Fitting, Melvin. |
其他作者: |
Mendelsohn, Richard L. |
出版者: |
Cham :Springer International Publishing : : 2023., |
面頁冊數: |
xx, 460 p. :ill., digital ;24 cm. |
內容註: |
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. |
Contained By: |
Springer Nature eBook |
標題: |
Modality (Logic) - |
電子資源: |
https://doi.org/10.1007/978-3-031-40714-7 |
ISBN: |
9783031407147 |