Modal languages for topology: Expressivity and definability
Annals of Pure and Applied Logic(2009)
摘要
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.
更多查看译文
关键词
03B48,54A05,03C40
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要