Algebraic semantics for coalgebraic logics (2004)

by C Kupke, A Kurz, D Pattinson
Venue:In CMCS’04, ENTCS 106