Logo

Algebraic Tools for Modal Logic

Small book cover: Algebraic Tools for Modal Logic

Algebraic Tools for Modal Logic
by

Publisher: ESSLLI
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.

Home page url

Download or read it online for free here:
Download link
(1.3MB, PDF)

Similar books

Book cover: Basic Concepts in Modal LogicBasic Concepts in Modal Logic
by - Stanford University
This is a text for dedicated undergraduates with no previous experience in modal logic. The book should prepare people for reading advanced texts in modal logic, such as Goldblatt, Chellas, Hughes and Cresswell, and van Benthem.
(8200 views)
Book cover: Introduction to Modal LogicIntroduction to Modal Logic
by - UMass Amherst
Contents: Basic Concepts; Classical SL; Absolute Modal Logic - System L; Relative Modal Logic - System K; Systems Between K and L; Modal Predicate Logic; General First-Order Logic; First-Order Modal Logic; First-Order Modal Logic with Actuality...
(9234 views)
Book cover: Mathematics of ModalityMathematics of Modality
by - CSLI Publications
Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements. This volume collects the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals.
(8881 views)
Book cover: Handbook of Modal LogicHandbook of Modal Logic
by
This Handbook documents the current state of modal logic, a lively area of logical research which was born in philosophy, but which has since made its way into mathematics, linguistics, computer science, AI, and even economic game theory.
(7152 views)