Boxes and Diamonds: An Open Introduction to Modal LogicКНИГИ » НАУКА И УЧЕБА
Название: Boxes and Diamonds: An Open Introduction to Modal Logic Автор: Zach R. Издательство: Calgary (Canada): University of Calgary Год: 2019 Формат: PDF Страниц: 262 Для сайта:Миркниг b]Размер:[/b] 21 mb Язык: английский
A textbook for modal and other intensional logics based on the Open Logic Project.
Preface Normal Modal Logics Syntax and Semantics of Normal Modal Logics. Frame Definability. Axiomatic Derivations. Completeness and Canonical Models. Filtrations and Decidability. Modal Tableaux. Intuitionistic Logic Introduction. Semantics. Soundness and Completeness. Counterfactuals Introduction. Minimal Change Semantics. Appendices Sets. Relations. Syntax and Semantics. Axiomatic Derivations. Tableaux. The Completeness Theorem. Bibliography
Навигация
Вход на сайт
Реклама
Boxes and Diamonds: An Open Introduction to Modal Logic 
