Algebraic semantics for coalgebraic logics (2004)

by C Kupke, A Kurz, D Pattinson
Venue:In Proc. of Coalgebraic Methods in Computer Science (CMCS’04), volume 106 of Electronic Notes in Theoretical Computer Science