Positive Fragments of Coalgebraic Logics

DOI10.1007/978-3-642-40206-7_6zbMath1394.03035OpenAlexW1859786385MaRDI QIDQ2848939

Jiří Velebil, Alexander Kurz, Adriana Balan

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_6

zbMATH Keywords

dualitycoalgebraic logicpositive modal logic

Mathematics Subject Classification ID

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

Related Items (7)

Relation lifting, a survey ⋮ Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Positive monotone modal logic ⋮ A general account of coinduction up-to ⋮ Coalgebraic Completeness-via-Canonicity ⋮ Unnamed Item ⋮ Limits in categories of Vietoris coalgebras

This page was built for publication: Positive Fragments of Coalgebraic Logics