Model Constructions for Moss' Coalgebraic Logic.

Jort Bergfeld, Yde Venema

Browse the full CALCO paper archive.