Modal logics are coalgebraic (0)

by C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
Venue:The Computer Journal