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

2023

Report 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.

Source: 10.32079/ISTI-TR-2023/009, 2023

Metrics

Back to previous page

Cite as

BibTeX entry

@techreport{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},
	institution = {10.32079/ISTI-TR-2023/009, 2023},
	year = {2023}
}