Positive fragments of coalgebraic logics

DOI10.2168/LMCS-11(3:18)2015zbMath1337.03024arXiv1402.5922MaRDI QIDQ3196349

Jiří Velebil, Adriana Balan, Alexander Kurz

Publication date: 29 October 2015

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.5922

zbMATH Keywords

dualitycoalgebraic logicpositive modal logic

Mathematics Subject Classification ID

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

Related Items (5)

Coalgebraic Geometric Logic: Basic Theory ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ Positive monotone modal logic ⋮ Extending set functors to generalised metric spaces ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS

This page was built for publication: Positive fragments of coalgebraic logics