Equational coalgebraic logic
From MaRDI portal
Publication:2805164
DOI10.1016/J.ENTCS.2009.07.097zbMATH Open1337.03093OpenAlexW2113584086MaRDI QIDQ2805164FDOQ2805164
Authors: Raul Leal, Alexander Kurz 
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
Recommendations
Cites Work
- Universal coalgebra: A theory of systems
- Automata and fixed point logic: a coalgebraic perspective
- Strongly complete logics for coalgebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Coalgebraic logic
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Expressivity of coalgebraic modal logic: the limits and beyond
- Algebraic semantics for coalgebraic logics
- Predicate liftings versus nabla modalities
- Stochastic Relations
- Foundations of Software Science and Computation Structures
- Probability logic for type spaces
- Automata for the modal \(\mu \)-calculus and related results
- Completeness of the finitary Moss logic
- Coalgebraic Automata Theory: Basic Results
- A coalgebraic perspective on monotone modal logic
- Finality regained: A coalgebraic study of Scott-sets and multisets
- On modal \(\mu\)-calculus with explicit interpolants
- The Goldblatt-Thomason Theorem for Coalgebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra and Coalgebra in Computer Science
- A hierarchy of probabilistic system types
- Coalgebraic modal logic of finite rank
- Completeness for Flat Modal Fixpoint Logics
- Functorial coalgebraic logic: the case of many-sorted varieties
Cited In (23)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- EQ-logics with delta connective
- A point-free perspective on lax extensions and predicate liftings
- Logical equations in monadic logic
- Layered logics, coalgebraically
- Modalities in the Stone age: a comparison of coalgebraic logics
- Equational logic and categorical semantics for multi-languages
- Coalgebraic semantics of modal logics: an overview
- Translating logics for coalgebras.
- Title not available (Why is that?)
- Equational Reasoning with Applicative Functors
- Predicate liftings and functor presentations in coalgebraic expression languages
- Strongly complete logics for coalgebras
- Modal predicates and coequations
- Title not available (Why is that?)
- Lax extensions of coalgebra functors and their logic
- On monotone modalities and adjointness
- Foundations of Software Science and Computational Structures
- On the logic of generalised metric spaces
- On a coalgebraic view on logic
- The temporal logic of coalgebras via Galois algebras
This page was built for publication: Equational coalgebraic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2805164)
