A finite model construction for coalgebraic modal logic (0)

by L Schröder
Venue:J. Log. Algebr. Prog