Coalgebraic logics \& duality
From MaRDI portal
Publication:1798781
DOI10.1007/978-3-030-00389-0_2OpenAlexW2892371259MaRDI QIDQ1798781FDOQ1798781
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
- 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?)
- Learning regular sets from queries and counterexamples
- Universal coalgebra: A theory of systems
- Automata and fixed point logic: a coalgebraic perspective
- Trace semantics for coalgebras
- Coalgebraic Modal Logic Beyond Sets
- Final coalgebras and the Hennessy-Milner property
- Coalgebraic 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
- Algebraic semantics for coalgebraic logics
- Exemplaric Expressivity of Modal Logics
- Stone coalgebras
- Completeness for the coalgebraic cover modality
- Coalgebraic semantics of modal logics: an overview
- Coalgebraic Automata Theory: Basic Results
- Proof systems for Moss' coalgebraic logic
- Completeness for flat modal fixpoint logics
- Completions of \(\mu \)-algebras
- Final coalgebras for functors on measurable spaces
- Bialgebraic methods and modal logic in structural operational semantics
- Many-sorted coalgebraic modal logic: A model-theoretic study
- Characterising Behavioural Equivalence: Three Sides of One Coin
- PSPACE bounds for rank-1 modal logics
- Flat Coalgebraic Fixed Point Logics
- Automata for Coalgebras: An Approach Using Predicate Liftings
- A compositional approach to defining logics for coalgebras
- A compositional treatment of iterated open games
- Covarieties and complete covarieties
- Angluin learning via logic
- Completeness for coalgebraic fixpoint logic
- Parity games and automata for game logic
- Coalgebraic trace semantics via forgetful logics
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- Final Coalgebras from Corecursive Algebras.
Cited In (6)
This page was built for publication: Coalgebraic logics \& duality
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1798781)