Skip to Main content Skip to Navigation
Reports

Topological Semantic for Hybrid Modal Logic and Spatial Logic

Abstract : 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”!
Document type :
Reports
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00102807
Contributor : Christine Carvalho de Matos <>
Submitted on : Monday, October 2, 2006 - 4:34:15 PM
Last modification on : Thursday, May 24, 2018 - 3:59:20 PM
Long-term archiving on: : Monday, April 5, 2010 - 11:59:34 PM

File

Identifiers

  • HAL Id : lirmm-00102807, version 1

Collections

Citation

Jean-Pierre Aubert. Topological Semantic for Hybrid Modal Logic and Spatial Logic. [Research Report] RR-06035, Lirmm. 2006, 8 p. ⟨lirmm-00102807⟩

Share

Metrics

Record views

173

Files downloads

303