On a categorical framework for coalgebraic modal logic

DOI10.1016/J.ENTCS.2014.10.007MaRDI QIDQ283748zbMATH OpenOpenAlexWikidataFDO

Authors 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 logiccoalgebraic logiccoalgebrascompositionalityexpressivitypredicate liftingsStone duality

Mathematics Subject Classification ID

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

Recommendations

• A finite model construction for coalgebraic modal logic
• Coalgebraic semantics of modal logics: an overview
• scientific article; zbMATH DE number 1688389
• On expressivity and compositionality in logics for coalgebras
• Coalgebraic logic

Cites work

• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• Algebraic semantics for coalgebraic logics
• Bisimulation for labelled Markov processes
• Coalgebraic logic
• Coalgebraic modal logic beyond sets
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Equational presentations of functors and monads
• Exemplaric Expressivity of Modal Logics
• Expressive logics for coalgebras via terminal sequence induction
• Expressiveness of positive coalgebraic logic
• Expressivity of coalgebraic modal logic: the limits and beyond
• Foundations of Software Science and Computation Structures
• Modalities in the Stone age: a comparison of coalgebraic logics
• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Modular construction of complete coalgebraic logics
• On final coalgebras of continuous functors
• On the fusion of coalgebraic logics
• Predicate liftings versus nabla modalities
• Presenting functors on many-sorted varieties and applications
• Stone coalgebras
• Strongly complete logics for coalgebras

Cited in

(21)

• Unification of Modal Logic via Topological Categories
• On a coalgebraic view on logic
• Expressivity of quantitative modal logics categorical foundations via codensity and approximation
• Preservation and reflection of bisimilarity via invertible steps
• Coalgebraic semantics of modal logics: an overview
• A finite model construction for coalgebraic modal logic
• On the logic of generalised metric spaces
• Coalgebraic Geometric Logic: Basic Theory
• Coalgebraic trace semantics via forgetful logics
• Coalgebraic predicate logic: equipollence results and proof theory
• Strongly complete logics for coalgebras
• scientific article; zbMATH DE number 7649890 (Why is no real title available?)
• Homomorphisms of coalgebras from predicate liftings
• Coalgebraic modal logic beyond sets
• Internal models for coalgebraic modal logics
• Steps and traces
• scientific article; zbMATH DE number 4202257 (Why is no real title available?)
• On expressivity and compositionality in logics for coalgebras
• Foundations of Software Science and Computational Structures
• Expressivity of coalgebraic modal logic: the limits and beyond
• Rank-1 Modal Logics Are Coalgebraic

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q283748)