Modal Logics are Coalgebraic (2008)

by Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema