Algebraic Tools for Modal Logic

Algebraic Tools for Modal Logic
by Mai Gehrke, Yde Venema

Publisher: ESSLLI 2001
Number of pages: 109

Description:
Apart from giving a general introduction to the fundamental ideas and methods of applying algebra in logic, the purpose of the course is to present recent developments from algebra as well as modal logic, in an integrated format. Our intention is to illuminate and generalize existing results concerning the issues of completeness, canonicity and correspondence for Kripke style semantics for modal and generalized modal logics.