Modalities in the Stone age: a comparison of coalgebraic logics

DOI10.1016/j.tcs.2012.03.027zbMath1250.03126OpenAlexW1985915951MaRDI QIDQ418820

Alexander Kurz, Raul Leal

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

zbMATH Keywords

coalgebraStone dualitycoalgebraic logicpredicate liftingsMoss-modalitynabla-modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

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