algebraic- and coalgebraic semantics of modal logic (Rev #2, changes)

Showing changes from revision #1 to #2: Added | Removed | Changed

This entry is about

  • Yde Venema, Algebras and Coalgebras, §6 in Blackburn, van Benthem, Wolter, Handbook of modal logic, Elsevier, 2007.

1 Introduction



An important difference of the coalgebraic approach compared to the algebraic one is that coalgebras generalize rather than dualize the model theory of modal logic. One may generalize the concept of modal logic from Kripke frames to arbitrary coalgebras. In fact the link between modal logic and coalgebra is so strong that one may claim that modal logic is the natural logic for coalgebras (just like equational logic is that for algebra)

9 Coalgebras: an introduction


Revision on February 16, 2013 at 06:21:24 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.