Welcome to E-Books Directory
This is a freely downloadable e-book.

Algebraic Tools for Modal Logic

Algebraic Tools for Modal Logic
by Mai Gehrke, Yde Venema

Publisher: ESSLLI 2001
Number of pages: 109

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.

Home page url

Download or read it online here:

Download link

 (1.3MB, PDF)