Welcome to E-Books Directory
This is a freely downloadable e-book.

Coalgebras and Modal Logic

Coalgebras and Modal Logic
by Alexander Kurz

Publisher: ESSLLI 2002
Number of pages: 100

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.

Home page url

Download or read it online here:

Download link

 (1.7MB, PDF)