**Coalgebras and Modal Logic**

by Alexander Kurz

**Publisher**: ESSLLI 2002**Number of pages**: 100

**Description**:

Whereas algebras are used to model abstract data types, coalgebras are used to model dynamic, state based systems. One of the achievements of the theory of coalgebras is to make clear that these seemingly different areas are related by duality. The aim of the course is to explain this duality and to develop some consquences. In particular, recent research lead to the insight that modal logic is dual to equational logic.

Download or read it online for free here:

**Download link**

(1.7MB, PDF)

## Similar books

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

(

**13846**views)

**Handbook of Modal Logic**

by

**Patrick Blackburn, Johan van Benthem, Frank Wolter**

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.

(

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

(

**11181**views)