Moss' logic for ordered coalgebras

MaRDI QIDQ5101351FDOQ5101351

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

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/1901.06547

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

Mathematics Subject Classification ID

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

Cites Work

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

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)