Modal languages for topology: expressivity and definability

2006/10/11 by Balder ten Cate, Cate, Balder ten, David Gabelaia +3 · 1 citation
Computer Science · #03B45 #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.math/0610357

openalex publication_date 2006/10/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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 L_t.

Cited by

• Intuitionistic monotone modal logic via translation

Related

• Taming the `elsewhere': On expressivity of topological languages
• Derivational modal logics with the difference modality
• Characterising Modal Formulas with Examples
• Generalized topological semantics for weak modal logics
• Topological Semantics and Decidability