scientific article; zbMATH DE number 6302913

zbMath1291.03034MaRDI QIDQ5419889

Jiří Velebil, Krzysztof Kapulkin, Alexander Kurz

Publication date: 11 June 2014

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

posetmodal logiccoalgebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (11)

On a categorical framework for coalgebraic modal logic ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Enriched logical connections ⋮ Unnamed Item ⋮ Smooth coalgebra: testing vector analysis ⋮ Unnamed Item ⋮ Positive monotone modal logic ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: