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
Contributor : Dmitry Sustretov Connect in order to contact the contributor
Submitted on : Friday, October 16, 2009 - 5:48:38 PM
Last modification on : Friday, February 4, 2022 - 3:30:30 AM

Links full text




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⟩



Record views