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

Materials

PDFlecture 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