The Positivication of Coalgebraic Logics.

Fredrik Dahlqvist, Alexander Kurz

Browse the full CALCO paper archive.