Vietoris bisimulations
From MaRDI portal
Publication:3056296
DOI10.1093/LOGCOM/EXN091zbMATH Open1266.03029OpenAlexW2913419662MaRDI QIDQ3056296FDOQ3056296
Authors: Nick Bezhanishvili, Gaëlle Fontaine, Yde Venema 
Publication date: 11 November 2010
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/e137ec284dbd1586e7b13b7142aae3bd335c9f05
Recommendations
Cited In (20)
- Characteristic classes and bisimulations of generalized Veltman models
- Bisimulations for coalgebras on Stone spaces
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
- Saturated Kripke structures as Vietoris coalgebras
- Bisimulations and bisimulation quotients of generalized Veltman models
- Bisimulations between generalized Veltman models and Veltman models
- Sahlqvist theorem for modal fixed point logic
- INQUISITIVE BISIMULATION
- Title not available (Why is that?)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Monoidal extended stone duality
- Games for topological fixpoint logic
- Hennessy-Milner properties via topological compactness
- Preservation and reflection of bisimilarity via invertible steps
- Modal logic and the Vietoris functor
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Coalgebraic Geometric Logic: Basic Theory
- Relating coalgebraic notions of bisimulation. With applications to name-passing process calculi (extended abstract)
- Limits in categories of Vietoris coalgebras
- Title not available (Why is that?)
This page was built for publication: Vietoris bisimulations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3056296)
