scientific article; zbMATH DE number 7774238

DOI10.4230/LIPICS.CALCO.2021.12MaRDI QIDQ6061671zbMATH OpenFDO

Authors Marino Miculan

Publication date 8 December 2023

Full work available at URL https://arxiv.org/abs/2007.04213

zbMATH Keywords

categorical logicclosure operatorsspatial logictopological semantics

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(2)

• Geometric Model Checking of Continuous Space
• On bisimilarity for quasi-discrete closure spaces

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6061671)