On Bisimilarity for Quasi-discrete Closure Spaces

by   Vincenzo Ciancia, et al.

Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and quasi-discrete closure spaces induces a notion of neighborhood akin to that of topological spaces that build on open sets. For closure models and quasi-discrete closure models, in this paper we present three notions of bisimilarity that are logically characterised by corresponding modal logics with spatial modalities: (i) CM-bisimilarity for closure models (CMs) is shown to generalise Topo-bisimilarity for topological models. CM-bisimilarity corresponds to equivalence with respect to the infinitary modal logic IML that includes the modality N for “being near”. (ii) CMC-bisimilarity, with `CMC' standing for CM-bisimilarity with converse, refines CM-bisimilarity for quasi-discrete closure spaces, carriers of quasi-discrete closure models. Quasi-discrete closure models come equipped with two closure operators, Direct C and Converse C, stemming from the binary relation underlying closure and its converse. CMC-bisimilarity, is captured by the infinitary modal logic IMLC including two modalities, Direct N and Converse N, corresponding to the two closure operators. (iii) CoPa-bisimilarity on quasi-discrete closure models, which is weaker than CMC-bisimilarity, is based on the notion of compatible paths. The logical counterpart of CoPa-bisimilarity is the infinitary modal logic ICRL with modalities Direct ζ and Converse ζ, whose semantics relies on forward and backward paths, respectively. It is shown that CoPa-bisimilarity for quasi-discrete closure models relates to divergence-blind stuttering equivalence for Kripke structures.


page 1

page 2

page 3

page 4


On Bisimilarities for Closure Spaces - Preliminary Version

Closure spaces are a generalisation of topological spaces obtained by re...

Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations

The topological interpretation of modal logics provides descriptive lang...

Closure operators: Complexity and applications to classification and decision-making

We study the complexity of closure operators, with applications to machi...

Geometric Model Checking of Continuous Space

Topological Spatial Model Checking is a recent paradigm that combines Mo...

Analysing Spatial Properties on Neighbourhood Spaces

We present a bisimulation relation for neighbourhood spaces, a generalis...

Cospanning characterizations of antimatroids and convex geometries

Given a finite set E and an operator σ:2^E⟶2^E, two sets X,Y⊆ E are cosp...

Delta-Closure Structure for Studying Data Distribution

In this paper, we revisit pattern mining and study the distribution unde...

Please sign up or login with your details

Forgot password? Click here to reset