Document - On the expressive power of IMLC and ISLCS

2022

Report Open Access

On the expressive power of IMLC and ISLCS

Ciancia V., Latella D., Massink M., De Vink E. P.

Closure spaces Spatial logics

In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (forward) proximity operator.

Source: ISTI Technical Report, ISTI-2022-TR/021, 2022

Metrics

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:473241,
	title = {On the expressive power of IMLC and ISLCS},
	author = {Ciancia V. and Latella D. and Massink M. and De Vink E. P.},
	doi = {10.32079/isti-tr-2022/021},
	institution = {ISTI Technical Report, ISTI-2022-TR/021, 2022},
	year = {2022}
}