Definability, canonical models, and compactness for finitary coalgebraic modal logic (2002)

by A Kurz, D Pattinson
Venue:Coalgebraic Methods in Computer Science, volume 65 of Electronic Notes in Theoretical Computer Science