Coalgebraic Geometric Logic: Basic Theory

DOI10.46298/LMCS-18(4:10)2022MaRDI QIDQ5060182zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Jim de Groot, Yde Venema

Publication date 9 January 2023

Published in Logical Methods in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

coalgebrageometric logicmodal logictopology

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Coalgebraic geometric logic
• On a categorical framework for coalgebraic modal logic
• scientific article; zbMATH DE number 1497872
• From modal logic to terminal coalgebras
• Coalgebraic logic

Cites work

• A coalgebraic perspective on monotone modal logic
• A general final coalgebra theorem
• Algebra and Coalgebra in Computer Science
• Algebraic laws for nondeterminism and concurrency
• Algebraic semantics for coalgebraic logics
• Bisimulation for weakly expressive coalgebraic modal logics
• Bisimulations for coalgebras on Stone spaces
• Coalgebraic logic
• Coalgebraic modal logic beyond sets
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Coalgebraic semantics of modal logics: an overview
• Domain theory in logical form
• Duality for instantial neighbourhood logic via coalgebra
• Expressiveness of positive coalgebraic logic
• Final coalgebras for functors on measurable spaces
• Foundations of Software Science and Computation Structures
• Foundations of Software Science and Computational Structures
• Foundations of Software Science and Computational Structures
• Generalised powerlocales via relation lifting
• Harsanyi type spaces and final coalgebras constructed from satisfied theories
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3742211 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (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 2062331 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Logic-induced bisimulations
• Modal compact Hausdorff spaces
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• On a categorical framework for coalgebraic modal logic
• Positive fragments of coalgebraic logics
• Positive modal logic
• Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
• Simulations and bisimulations for coalgebraic modal logics
• Stone coalgebras
• Strongly complete logics for coalgebras
• Topologies on Spaces of Subsets
• Universal coalgebra: A theory of systems
• Vietoris bisimulations

Cited in

(1)

• Coalgebraic geometric logic

This page was built for publication: Coalgebraic Geometric Logic: Basic Theory

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