Modal languages for topology: Expressivity and definability

被引：15
|
作者：
ten Cate, Balder [1 ]
Gabelaia, David [2 ]
Sustretov, Dmitry [3 ]
机构：
[1] Univ Amsterdam, ISLA Informat Inst, NL-1012 WX Amsterdam, Netherlands
[2] Razmadze Math Inst, Tbilisi, Georgia
[3] LORIA Nancy, Nancy, France
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 159卷 / 1-2期
基金：
美国国家科学基金会;
关键词：
Modal logic; Topology; Expressivity; Definability; COMPLETIONS;
D O I：
10.1016/j.apal.2008.11.001
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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 L-t. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：146 / 170
页数：25
相关论文
共 50 条
12345