Topological Semantic for Hybrid Modal Logic and Spatial Logic
Résumé
We presente spatial logics and spatio-temporal logics in the paradigm of hybrid modal logics. These hybrid logics have some particularities: they have a topological semantic, the topological spaces associated with them are T0 -spaces and have a cellular structure and the nominals of the hybrid logics are sorted. From this particular case, we look at general semantic structures and the completeness of a sorted hybrid logic with pure axioms in a ”sorted sense”!
Domaines
Autre [cs.OH]
Loading...