Specifying coalgebras with modal logic (2001)

by Alexander Kurz
Venue:Theor. Comput. Sci