Moss' logic for ordered coalgebras

MaRDI QIDQ5101351zbMATH OpenFDO

Authors Marta Bílková, Matĕj Dostál

Publication date 30 August 2022

Full work available at URL https://arxiv.org/abs/1901.06547, https://lmcs.episciences.org/9902

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Proof systems for Moss' coalgebraic logic
• Completeness of the finitary Moss logic
• Completeness for the coalgebraic cover modality
• Model constructions for Moss' coalgebraic logic
• Specifying coalgebras with modal logic

Cites work

• scientific article; zbMATH DE number 5872402 (Why is no real title available?)
• scientific article; zbMATH DE number 3855352 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779585 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 67962 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1497882 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• scientific article; zbMATH DE number 6302899 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• A coalgebraic view on reachability
• A more expressive formulation of many sorted logic
• Abstract and concrete categories: the joy of cats
• Algebra and Coalgebra in Computer Science
• Automata and fixed point logic: a coalgebraic perspective
• Coalgebra learning via duality
• Coalgebraic Automata Theory: Basic Results
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Coalgebraic semantics of modal logics: an overview
• Complementation of coalgebra automata
• Completeness for flat modal fixpoint logics
• Completeness for the coalgebraic cover modality
• Epistemic logics for sceptical agents
• Expressiveness of positive coalgebraic logic
• Expressivity of coalgebraic modal logic: the limits and beyond
• Lax extensions of coalgebra functors and their logic
• Many-sorted coalgebraic modal logic: A model-theoretic study
• Modalities in the Stone age: a comparison of coalgebraic logics
• Order-sorted logic programming with predicate hierarchy
• Positive fragments of coalgebraic logics
• Presentation of set functors: a coalgebraic perspective
• Proof systems for Moss' coalgebraic logic
• Relation lifting, with an application to the many-valued cover modality
• Relation liftings on preorders and posets
• Similarity quotients as final coalgebras
• Simulations in coalgebra
• Specifying coalgebras with modal logic
• \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so

This page was built for publication: Moss' logic for ordered coalgebras

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