Coalgebraic modal logic of finite rank (2005)

by A Kurz, D Pattinson
Venue:Math. Structures Comp. Sci