scientific article; zbMATH DE number 7577582
From MaRDI portal
Publication:5101351
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/1901.06547
Title of this publication is not available (Why is that?)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automata and fixed point logic: a coalgebraic perspective
- Order-sorted logic programming with predicate hierarchy
- 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
- Modalities in the Stone age: a comparison of coalgebraic logics
- 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
- \(\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
- Coalgebra learning via duality
- Epistemic logics for sceptical agents
- A coalgebraic view on reachability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5101351)
