Publication:5419889
From MaRDI portal
zbMath1291.03034MaRDI QIDQ5419889
Jiří Velebil, Krzysztof Kapulkin, Alexander Kurz
Publication date: 11 June 2014
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Coalgebraic Geometric Logic: Basic Theory, Smooth coalgebra: testing vector analysis, Unnamed Item, Coalgebraic Completeness-via-Canonicity, On a categorical framework for coalgebraic modal logic, Monotone subintuitionistic logic: duality and transfer results, Positive monotone modal logic, Enriched logical connections