Algebraic semantics of modal logics
Section outline
-
Algebraic semantics of modal logics, Boolean algebras with operators, examples. Completeness via Lindenbaum-Tarski algebra.
Presentation topic: duality and applications - Goldblatt-Thomason Theorem
-
Algebraic semantics and Duality theory of modal logics, Chapter 5 of
Blackburn P., de Rijke M., Modal logic, Cambridge University Press, 2001.
-