On a categorical framework for coalgebraic modal logic

DOI10.1016/J.ENTCS.2014.10.007zbMATH Open1337.03091OpenAlexW2055999172WikidataQ113317848 ScholiaQ113317848MaRDI QIDQ283748FDOQ283748

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

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

zbMATH Keywords

modal logiccoalgebraic logiccoalgebrascompositionalityexpressivitypredicate liftingsStone duality

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On final coalgebras of continuous functors
• Bisimulation for labelled Markov processes
• Strongly complete logics for coalgebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic modal logic beyond sets
• Coalgebraic logic
• 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
• Algebraic semantics for coalgebraic logics
• Predicate liftings versus nabla modalities
• 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
• Modalities in the Stone age: a comparison of coalgebraic logics
• Expressiveness of positive coalgebraic logic
• Expressive logics for coalgebras via terminal sequence induction
• Foundations of Software Science and Computation Structures
• Presenting functors on many-sorted varieties and applications
• Stone coalgebras

Cited In (21)

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

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)