Equational Coalgebraic Logic
From MaRDI portal
Publication:2805164
DOI10.1016/j.entcs.2009.07.097zbMath1337.03093OpenAlexW2113584086MaRDI QIDQ2805164
Publication date: 10 May 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.097
Related Items (7)
A point-free perspective on lax extensions and predicate liftings ⋮ Coalgebraic semantics of modal logics: an overview ⋮ On monotone modalities and adjointness ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ Lax extensions of coalgebra functors and their logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A hierarchy of probabilistic system types
- Coalgebraic logic
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Universal coalgebra: A theory of systems
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Expressivity of coalgebraic modal logic: the limits and beyond
- Automata and fixed point logic: a coalgebraic perspective
- On modal \(\mu\)-calculus with explicit interpolants
- Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
- Predicate Liftings Versus Nabla Modalities
- Strongly Complete Logics for Coalgebras
- Completeness for Flat Modal Fixpoint Logics
- Automata for the modal μ-calculus and related results
- The Goldblatt-Thomason Theorem for Coalgebras
- Coalgebraic Automata Theory: Basic Results
- Stochastic Relations
- Coalgebraic modal logic of finite rank
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computation Structures
- Probability logic for type spaces
This page was built for publication: Equational Coalgebraic Logic
