principles in the modal logic of coalgebras, Symposium on Theoretical (2001)

by Semantical
Venue:Aspects of Computer Science, LNCS