57 citations · 278 across the 28 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 2 cited
On Bisimilarities for Closure Spaces - Preliminary Version
Vincenzo Ciancia, Diego Latella, Mieke Massink Erik de Vink
Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for…
cs.LO2021★ 21 cited
Geometric Model Checking of Continuous Space
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +3
Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closur…