Towards a duality result in the modal logic of coalgebras (2000)

by B Jacobs
Venue:In Coalgebraic Methods in Computer Science, CMCS 2000, volume 33 of ENTCS