Modal languages for topology: Expressivity and definability

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.
Type de document :
Article dans une revue
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 159 (1-2), pp.146-170. 〈10.1016/j.apal.2008.11.001〉
Liste complète des métadonnées

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

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

142