Expressivity of Coalgebraic Modal Logic: The Limits and Beyond (2005)

by L Schröder
Venue:FoSSaCS’05, volume 3441 of LNCS