Completeness of (Higher Order) Spatial Logic for Closure Spaces
Sala Riunioni, ore 11:30
Abstract: We introduce the categorical notion of preclosure hyperdoctrines as an abstract theoretical framework for investigating
the logical aspects of preclosure spaces, a generalization of topological spaces covering also the notion of neighbourhood in discrete structures. Using this theory, we provide the first axiomatisation and sound and complete semantics for Spatial Logic for Closure Spaces, a modal logic for the specification and verification on spatial properties over preclosure spaces. Moreover, exploiting general results from categorical logic we introduce a new, higher order, version of SLCS, with a sound and complete semantics. Thus, the theory of preclosure hyperdoctrines is useful in the analysis and definition of new spatial logics for various applications, e.g. CAS, autonomic vehicles, image analysis and description, etc.
Università degli Studi di Udine Dipartimento di Scienze Matematiche, Informatiche e Fisiche (DMIF) via delle Scienze 206, 33100 Udine, Italy Tel: +39 0432 558400 Fax: +39 0432 558499 PEC: firstname.lastname@example.org p.iva 01071600306 | c.f. 80014550307
Chiudendo questo banner, scorrendo questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all’uso dei cookie. OK
Privacy & Cookies Policy
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.