Название: Boxes and Diamonds: An Open Introduction to Modal Logic
Автор: Zach R.
Издательство: Calgary (Canada): University of Calgary
Год: 2019
Формат: PDF
Страниц: 262
Для сайта: LitMy
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