Back

# Coalgebras and Modal Logic

**
Alexander Kurz
**

Section: Logic and Computation

Level: Advanced

## 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---in a sense made
precise in the lectures---modal logic is dual to equational logic.

## Prerequisites

- Computation: Familiarity with the basics of some of the
following: abstract data types, automata, transition systems, process
algebra (to understand the examples and applications);
- Logic: First order predicate logic;
- Category Theory: Basic notions (category, functor, natural
transformation, limit, adjunction).

## Materials

lecture notes

## Lecturer

Alexander Kurz

CWI

P.O.Box 94079

NL-1090GB Amsterdam

phone: ++31 20 592 4001

kurz@cwi.nl

http://www.cwi.nl/~kurz