Topological Semantic for Hybrid Modal Logic and Spatial Logic - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

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]
Fichier principal
Vignette du fichier
D657.PDF (146.81 Ko) Télécharger le fichier
Loading...

Dates et versions

lirmm-00102807 , version 1 (02-10-2006)

Identifiants

  • HAL Id : lirmm-00102807 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More