A finite model construction for coalgebraic modal logic (2006)

by Lutz Schröder
Venue:Foundations Of Software Science And Computation Structures, volume 3921 of Lecture Notes in Computer Science