Coalgebras and modal logic. Lecture notes ESSLLI’01, http://www.cwi. nl/˜kurz (2001)

by A Kurz