Welcome to E-Books Directory
This is a freely downloadable e-book.
Coalgebras and Modal Logic by Alexander Kurz
Read this book online or download it here for free
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.