The Positivication of Coalgebraic Logics

Fredrik Dahlqvist, Alexander Kurz. The Positivication of Coalgebraic Logics. In Filippo Bonchi, Barbara König 0001, editors, 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.