Semantical principles in the modal logic of coalgebras (2001)

by D Pattinson
Venue:In Theoretical Aspects of Computer Science, STACS 01, volume 2010 of LNCS