Hybrid logics of separation axioms.

Dmitry Sustretov 1
1 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We study hybrid logics in topological semantics. We prove that hybrid logics of separation axioms are complete with respect to certain classes of finite topological models. This characterisation allows us to obtain several further results. We prove that aforementioned logics are decidable and PSPACE-complete, the logics of T1 and T2 coincide, the logic of T1 is complete with respect to two concrete structures: the Cantor space and the rational numbers.
Type de document :
Article dans une revue
Journal of Logic, Language and Information, Springer Verlag, 2009, 18 (4), pp.541-558. 〈10.1007/s10849-009-9091-z〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00424685
Contributeur : Dmitry Sustretov <>
Soumis le : vendredi 16 octobre 2009 - 17:48:38
Dernière modification le : jeudi 11 janvier 2018 - 06:21:35

Lien texte intégral

Identifiants

Collections

Citation

Dmitry Sustretov. Hybrid logics of separation axioms.. Journal of Logic, Language and Information, Springer Verlag, 2009, 18 (4), pp.541-558. 〈10.1007/s10849-009-9091-z〉. 〈inria-00424685〉

Partager

Métriques

Consultations de la notice

149