On Bisimilarities for Closure Spaces - Preliminary Version

05/14/2021
by   Vincenzo Ciancia, et al.
0

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 topological models, namely Topo-bisimilarity, to closure models – we call the resulting equivalence CM-bisimilarity – and refine it for quasi-discrete closure models. We also define two additional notions of bisimilarity that are based on paths on space, namely Path-bisimilarity and Compatible Path-bisimilarity, CoPa-bisimilarity for short. The former expresses (unconditional) reachability, the latter refines it in a way that is reminishent of Stuttering Equivalence on transition systems. For each bisimilarity we provide a logical characterisation, using variants of the Spatial Logic for Closure Spaces (SLCS). We also address the issue of (space) minimisation via the three equivalences.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/27/2023

On Bisimilarity for Quasi-discrete Closure Spaces

Closure spaces, a generalisation of topological spaces, have shown to be...
research
05/03/2018

Learning Pretopological Spaces to Model Complex Propagation Phenomena: A Multiple Instance Learning Approach Based on a Logical Modeling

This paper addresses the problem of learning the concept of "propagation...
research
09/13/2018

Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces

Closure space has proven to be a useful tool to restructure lattices and...
research
10/13/2022

Delta-Closure Structure for Studying Data Distribution

In this paper, we revisit pattern mining and study the distribution unde...
research
07/18/2021

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...
research
02/10/2022

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

We study the complexity of closure operators, with applications to machi...
research
12/30/2022

Relative Probability on Finite Outcome Spaces: A Systematic Examination of its Axiomatization, Properties, and Applications

This work proposes a view of probability as a relative measure rather th...

Please sign up or login with your details

Forgot password? Click here to reset