Closure hyperdoctrines, with paths

by   Davide Castelnovo, et al.

Spatial logics are modal logics whose modalities are interpreted using topological concepts of neighbourhood and connectivity. Recently, these logics have been extended to (pre)closure spaces, a generalization of topological spaces covering also the notion of neighbourhood in discrete structures. In this paper we introduce an abstract theoretical framework for the systematic investigation of the logical aspects of closure spaces. To this end we define the categorical notion of closure (hyper)doctrine, which are doctrines endowed with inflationary operators (and subject to suitable conditions). The generality and effectiveness of this notion is demonstrated by many examples arising naturally from topological spaces, fuzzy sets, algebraic structures, coalgebras, and covering at once also known cases such as Kripke frames and probabilistic frames (i.e., Markov chains). In order to model also surroundedness, closure hyperdoctrines are then endowed with paths; this construction allows us to cover all the logical constructs of the Spatial Logic for Closure Spaces. By leveraging general categorical constructions, we provide a first axiomatisation and sound and complete semantics for propositional/regular/first order logics for closure operators. Therefore, closure hyperdoctrines are useful both for refining and improving the theory of existing spatial logics, but especially for the definition of new spatial logics for various applications.


page 1

page 2

page 3

page 4


Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations

The topological interpretation of modal logics provides descriptive lang...

Modal Logics for Topological Spaces

In this thesis we shall present two logical systems, MP and MP, for the ...

On categorical structures arising from implicative algebras: from topology to assemblies

Implicative algebras have been recently introduced by Miquel in order to...

Closure operators: Complexity and applications to classification and decision-making

We study the complexity of closure operators, with applications to machi...

Categorical Representations of Continuous Domains and Continuous L-Domains Based on Closure Spaces

Closure space has proven to be a useful tool to restructure lattices and...

Spatial Logics and Model Checking for Medical Imaging (Extended Version)

Recent research on spatial and spatio-temporal model checking provides n...

Doctrines, modalities and comonads

Doctrines are categorical structures very apt to study logics of differe...

Please sign up or login with your details

Forgot password? Click here to reset