Section: Logic and Computation
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.
phone: ++31 20 592 4001