Coalgebraic geometric logic

DOI10.4230/LIPICS.CALCO.2019.7MaRDI QIDQ5875347zbMATH OpenFDO

Authors Nick Bezhanishvili, Jim de Groot, Yde Venema

Publication date 3 February 2023

Full work available at URL https://arxiv.org/abs/1903.08837

zbMATH Keywords

coalgebrageometric logicmodal logictopology

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Coalgebraic Geometric Logic: Basic Theory
• On a categorical framework for coalgebraic modal logic
• From modal logic to terminal coalgebras
• scientific article; zbMATH DE number 1497872
• Specifying coalgebras with modal logic

Cites work

• A coalgebraic perspective on monotone modal logic
• Algebra and Coalgebra in Computer Science
• Algebraic semantics for coalgebraic logics
• Bisimulation for weakly expressive coalgebraic modal logics
• Bisimulations for coalgebras on Stone spaces
• Coalgebraic geometric logic
• Coalgebraic logic
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Coalgebraic semantics of modal logics: an overview
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• Modal compact Hausdorff spaces
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• On a categorical framework for coalgebraic modal logic
• Simulations and bisimulations for coalgebraic modal logics
• Stone coalgebras
• Topologies on Spaces of Subsets
• Universal coalgebra: A theory of systems
• Vietoris bisimulations

Cited in

(3)

• Coalgebraic Geometric Logic: Basic Theory
• scientific article; zbMATH DE number 7166981 (Why is no real title available?)
• Coalgebraic geometric logic

This page was built for publication: Coalgebraic geometric logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875347)