Coalgebraic logics \& duality
From MaRDI portal
Publication:1798781
DOI10.1007/978-3-030-00389-0_2OpenAlexW2892371259MaRDI QIDQ1798781
Publication date: 23 October 2018
Full work available at URL: https://hal.inria.fr/hal-02044643/file/473364_1_En_2_Chapter.pdf
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof systems for Moss' coalgebraic logic
- Completeness for flat modal fixpoint logics
- Coalgebraic semantics of modal logics: an overview
- A compositional approach to defining logics for coalgebras
- Stone coalgebras
- A compositional treatment of iterated open games
- Completions of \(\mu \)-algebras
- Bialgebraic methods and modal logic in structural operational semantics
- Learning regular sets from queries and counterexamples
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- Angluin learning via logic
- Parity games and automata for game logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Modular construction of complete coalgebraic logics
- Expressivity of coalgebraic modal logic: the limits and beyond
- Final coalgebras for functors on measurable spaces
- Automata and fixed point logic: a coalgebraic perspective
- Final coalgebras and the Hennessy-Milner property
- Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
- Characterising Behavioural Equivalence: Three Sides of One Coin
- Completeness for the coalgebraic cover modality
- PSPACE bounds for rank-1 modal logics
- Coalgebraic trace semantics via forgetful logics
- Exemplaric Expressivity of Modal Logics
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Flat Coalgebraic Fixed Point Logics
- Automata for Coalgebras: An Approach Using Predicate Liftings
- Coalgebraic Automata Theory: Basic Results
- Coalgebraic Modal Logic Beyond Sets
- Final Coalgebras from Corecursive Algebras.
- Completeness for coalgebraic fixpoint logic
- Covarieties and complete covarieties
This page was built for publication: Coalgebraic logics \& duality
