Moss' logic for ordered coalgebras
From MaRDI portal
Publication:5101351
Recommendations
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)