Coalgebraic Geometric Logic

Nick Bezhanishvili, Jim de Groot, Yde Venema. Coalgebraic Geometric Logic. In Markus Roggenbach, Ana Sokolova, editors, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. Volume 139 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]

Abstract

Abstract is missing.