Towards a Duality Result in Coalgebraic Modal Logic

Bart Jacobs
2000 Electronical Notes in Theoretical Computer Science  
doi:10.1016/s1571-0661(05)80348-2 fatcat:uhiug23zkfcihm4o4cxmvsrv7i