**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.

Download or read it online for free here:

**Download link**

(1.3MB, PDF)

## Similar books

**Modal Logic of Strict Necessity and Possibility**

by

**Evgeni Latinov**-

**OTexts**

The notions of strict, logical necessity and possibility and problems connected with them are treated in the book with the resources of modal symbolic logic. In general a balance is struck between philosophical and technical treatment of the issues.

(

**1063**views)

**Basic Concepts in Modal Logic**

by

**Edward N. Zalta**-

**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.

(

**6126**views)

**Coalgebras and Modal Logic**

by

**Alexander Kurz**-

**ESSLLI**

One of the achievements of the theory of coalgebras is to make clear that some seemingly different areas are related by duality. This text explains this duality. Recent research lead to the insight that modal logic is dual to equational logic.

(

**4888**views)

**Introduction to Modal Logic**

by

**Gary Hardegree**-

**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...

(

**6669**views)