Coalgebraic Geometric Logic: Basic Theory
From MaRDI portal
Publication:5060182
DOI10.46298/LMCS-18(4:10)2022OpenAlexW4313258632MaRDI QIDQ5060182
Jim de Groot, Nick Bezhanishvili, 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
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
- On a categorical framework for coalgebraic modal logic
- Coalgebraic semantics of modal logics: an overview
- Stone coalgebras
- Domain theory in logical form
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Positive modal logic
- Duality for instantial neighbourhood logic via coalgebra
- Final coalgebras for functors on measurable spaces
- Simulations and Bisimulations for Coalgebraic Modal Logics
- Strongly Complete Logics for Coalgebras
- Vietoris Bisimulations
- Positive fragments of coalgebraic logics
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Algebraic laws for nondeterminism and concurrency
- Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
- Bisimulations for coalgebras on Stone spaces
- Generalised powerlocales via relation lifting
- Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
- Modal compact Hausdorff spaces
- Coalgebraic Modal Logic Beyond Sets
- A general final coalgebra theorem
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computational Structures
- Foundations of Software Science and Computational Structures
- Topologies on Spaces of Subsets
- Foundations of Software Science and Computation Structures
This page was built for publication: Coalgebraic Geometric Logic: Basic Theory
