Skip to Main content Skip to Navigation
Journal articles

Modal languages for topology: Expressivity and definability

Balder ten Cate 1 Gabelaia David 2 Dmitry Sustretov 3
1 UvA - University of Amsterdam [Amsterdam]
2 RAZMADZE MATHEMATICAL INSTITUTE - Department of Mathematical Logic
3 TALARIS - Natural Language Processing: representation, inference and semantics
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we study the expressive power and definability for (extended) modal languages interpreted on topological spaces. We provide topological analogues of the van Benthem characterization theorem and the Goldblatt-thomason definability theorem in terms of the well-established first-order topological language Lt.
Keywords : Modal logic Topology Expressivity Definability
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/inria-00424693
Contributor : Dmitry Sustretov <>
Submitted on : Friday, October 16, 2009 - 5:58:00 PM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Links full text

openaccess

Identifiers

Collections

CNRS | INRIA | LORIA | UNIV-LORRAINE

Citation

Balder ten Cate, Gabelaia David, Dmitry Sustretov. Modal languages for topology: Expressivity and definability. Annals of Pure and Applied Logic, Elsevier Masson, 2009, 159 (1-2), pp.146-170. ⟨10.1016/j.apal.2008.11.001⟩. ⟨inria-00424693⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

218

 

Contact                    Legal Notice                    Personal Data