scientific article; zbMATH DE number 7649890
From MaRDI portal
Publication:5875347
DOI10.4230/LIPIcs.CALCO.2019.7MaRDI QIDQ5875347
Nick Bezhanishvili, Jim de Groot, Yde Venema
Publication date: 3 February 2023
Full work available at URL: https://arxiv.org/abs/1903.08837
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- 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
- Coalgebraic logic
- Universal coalgebra: A theory of systems
- Coalgebraic modal logic: soundness, completeness and decidability of local consequence
- Simulations and Bisimulations for Coalgebraic Modal Logics
- Vietoris Bisimulations
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Bisimulation for Weakly Expressive Coalgebraic Modal Logics.
- Bisimulations for coalgebras on Stone spaces
- Modal compact Hausdorff spaces
- Algebra and Coalgebra in Computer Science
- Foundations of Software Science and Computational Structures
- Topologies on Spaces of Subsets
This page was built for publication:
