Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00424685
Contributor : Dmitry Sustretov <>
Submitted on : Friday, October 16, 2009 - 5:48:38 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

219