The following pages link to Vietoris Bisimulations (Q3056296):
Displaying 17 items.
- Sahlqvist theorem for modal fixed point logic (Q418010) (← links)
- On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras (Q2100417) (← links)
- Saturated Kripke structures as Vietoris coalgebras (Q2104479) (← links)
- Hennessy-Milner properties via topological compactness (Q2672663) (← links)
- Characteristic classes and bisimulations of generalized Veltman models (Q2718477) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Bisimulations and bisimulation quotients of generalized Veltman models (Q3061279) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- Bisimulations for coalgebras on Stone spaces (Q4612432) (← links)
- (Q4619873) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- (Q5015268) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479164) (← links)
- (Q5875347) (← links)
- Monoidal extended stone duality (Q6629456) (← links)