Vietoris Bisimulations
From MaRDI portal
Publication:3056296
DOI10.1093/logcom/exn091zbMath1266.03029OpenAlexW2913419662MaRDI QIDQ3056296
Gaëlle Fontaine, Nick Bezhanishvili, 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
Related Items
Relating Coalgebraic Notions of Bisimulation ⋮ Coalgebraic Geometric Logic: Basic Theory ⋮ Hennessy-Milner properties via topological compactness ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Sahlqvist theorem for modal fixed point logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Limits in categories of Vietoris coalgebras ⋮ On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras ⋮ Saturated Kripke structures as Vietoris coalgebras