First-order modal logic
Fitting, Melvin.

FindBook      Google Book      Amazon      博客來     
  • First-order modal logic
  • 紀錄類型: 書目-電子資源 : 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
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9462005 電子資源 11.線上閱覽_V 電子書 EB BC199.M6 F58 2023 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入