Modalities in the Stone age: a comparison of coalgebraic logics
From MaRDI portal
Publication:418820
DOI10.1016/j.tcs.2012.03.027zbMath1250.03126OpenAlexW1985915951MaRDI QIDQ418820
Publication date: 30 May 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2012.03.027
Related Items (3)
On a categorical framework for coalgebraic modal logic ⋮ Unnamed Item ⋮ Expressivity of Many-Valued Modal Logics, Coalgebraically
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness for flat modal fixpoint logics
- A hierarchy of probabilistic system types
- Domain theory in logical form
- 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
- Positive modal logic
- Bisimulation for probabilistic transition systems: A coalgebraic approach
- Expressivity of coalgebraic modal logic: the limits and beyond
- On modal \(\mu\)-calculus with explicit interpolants
- Predicate Liftings Versus Nabla Modalities
- Exemplaric Expressivity of Modal Logics
- Automata for the modal μ-calculus and related results
- The Goldblatt-Thomason Theorem for Coalgebras
- Coalgebraic Automata Theory: Basic Results
- A final coalgebra theorem
- Stochastic Relations
- Algebra and Coalgebra in Computer Science
- Relational algebras
- Foundations of Software Science and Computation Structures
- Probability logic for type spaces
This page was built for publication: Modalities in the Stone age: a comparison of coalgebraic logics
