Joint work with Dirk Pattinson, Ludwig-Maximilians-Universität, Munich.

In contrast to previous talks about the relationship between
coalgebras and modal logic, the emphasis of this presentation is on
*finitary* modal logics. That is, syntactically I focus on basic modal
logic and semantically on finite approximations of infinite
behaviours.

I begin with …

read more