The following pages link to Vietoris Bisimulations (Q3056296):
Displayed 10 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)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Limits in categories of Vietoris coalgebras (Q3119464) (← links)
- (Q5015268) (← links)
- Coalgebraic Geometric Logic: Basic Theory (Q5060182) (← links)
- (Q5875347) (← links)
- Preservation and reflection of bisimilarity via invertible steps (Q6091202) (← links)