21 citations · 26 across the 5 of their papers we have counts for
1 paper · 1 filter
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…