Document - SLCS on face-poset models and bisimilarities on quasi-discrete closure models

2023

Other Open Access

SLCS on face-poset models and bisimilarities on quasi-discrete closure models

Ciancia V, Latella D, Massink M

Bisimulation relations Spatial logics Logical equivalence

We define SLCS\eta, a weaker logic than SLCS\gamma, and we interpret it on face-poset models. We show the relationship between the equivalence induced by the two logics, namely =SLCS\gamma and =SLCS\eta and bisimilarities of finite closure models proposed in the literature.

Metrics

Back to previous page

Cite as

BibTeX entry

@misc{oai:it.cnr:prodotti:486568,
	title = {SLCS on face-poset models and bisimilarities on quasi-discrete closure models},
	author = {Ciancia V and Latella D and Massink M},
	doi = {10.32079/isti-tr-2023/009},
	year = {2023}
}