Modal languages for topology: Expressivity and definability, in "Annals of Pure and
by
Balder Ten Cate
,
David Gabelaia
,
Dmitry Sustretov
| Venue: | n o 1-2, 2009, p. 146-170, http://hal.inria.fr/inria-00424693/en/ GENL. International Peer-Reviewed Conference/Proceedings |
| Citations: | 13 - 3 self |
BibTeX
@INPROCEEDINGS{Cate_modallanguages,
author = {Balder Ten Cate and David Gabelaia and Dmitry Sustretov},
title = {Modal languages for topology: Expressivity and definability, in "Annals of Pure and},
booktitle = {n o 1-2, 2009, p. 146-170, http://hal.inria.fr/inria-00424693/en/ GENL. International Peer-Reviewed Conference/Proceedings},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
