“…For the general definition on socalled closure spaces, and the link between (multi-dimensional) images, graphs, closure spaces and topological spatial logics we refer the reader to [16,3,10]. The syntax of the logic we use in this paper is its most up-to-date rendition, where the surrounded connective from [16] is a derived one, whereas reachability is primitive, as in [4,17,20]. Given set P of atomic predicates, with p ∈ P , the syntax of the logic is described by the following grammar:…”