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

This entry is about

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

1 Introduction

(p.322)

(…)

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

(p.389)