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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof systems for Moss' coalgebraic logic
- Modalities in the Stone age: a comparison of coalgebraic logics
- Completeness for flat modal fixpoint logics
- Coalgebraic semantics of modal logics: an overview
- Simulations in coalgebra
- Order-sorted logic programming with predicate hierarchy
- A more expressive formulation of many sorted logic
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Coalgebra learning via duality
- Lax extensions of coalgebra functors and their logic
- Expressivity of coalgebraic modal logic: the limits and beyond
- Automata and fixed point logic: a coalgebraic perspective
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- Positive Fragments of Coalgebraic Logics
- Relation lifting, with an application to the many-valued cover modality
- Complementation of Coalgebra Automata
- Completeness for the coalgebraic cover modality
- Epistemic logics for sceptical agents
- Similarity Quotients as Final Coalgebras
- Presentation of Set Functors: A Coalgebraic Perspective
- Relation Liftings on Preorders and Posets
- Coalgebraic Automata Theory: Basic Results
- A coalgebraic view on reachability
- Algebra and Coalgebra in Computer Science
- Specifying coalgebras with modal logic
