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”!
Type de document :
Rapport
[Research Report] RR-06035, Lirmm. 2006, 8 p
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00102807
Contributeur : Christine Carvalho de Matos <>
Soumis le : lundi 2 octobre 2006 - 16:34:15
Dernière modification le : jeudi 24 mai 2018 - 15:59:20
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:59:34

Fichier

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

126

Téléchargements de fichiers

160