On a categorical framework for coalgebraic modal logic

DOI10.1016/j.entcs.2014.10.007zbMath1337.03091OpenAlexW2055999172WikidataQ113317848 ScholiaQ113317848MaRDI QIDQ283748

Liang-Ting Chen, Achim Jung

Publication date: 13 May 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2014.10.007

zbMATH Keywords

modal logiccoalgebrasStone dualitycompositionalitycoalgebraic logicexpressivitypredicate liftings

Mathematics Subject Classification ID

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

Related Items (5)

Coalgebraic Geometric Logic: Basic Theory ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Unnamed Item ⋮ Coalgebraic trace semantics via forgetful logics ⋮ Steps and traces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modalities in the Stone age: a comparison of coalgebraic logics
• Expressive logics for coalgebras via terminal sequence induction
• Presenting functors on many-sorted varieties and applications
• Stone coalgebras
• Coalgebraic logic
• On final coalgebras of continuous functors
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Modular construction of complete coalgebraic logics
• Expressivity of coalgebraic modal logic: the limits and beyond
• Bisimulation for labelled Markov processes
• Predicate Liftings Versus Nabla Modalities
• Strongly Complete Logics for Coalgebras
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Equational presentations of functors and monads
• Exemplaric Expressivity of Modal Logics
• On the Fusion of Coalgebraic Logics
• Coalgebraic Modal Logic Beyond Sets
• Foundations of Software Science and Computation Structures

This page was built for publication: On a categorical framework for coalgebraic modal logic