TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES

DOI10.1017/s1755020322000120arXiv2109.06040OpenAlexW4220825324MaRDI QIDQ6131227

David Fernández-Duque

Publication date: 4 April 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2109.06040

zbMATH Keywords

modal logicexpressivitytopological semantics

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• The d-logic of the rational numbers: a fruitful construction
• Some results on modal axiomatization and definability for topological spaces
• Modal logic with names
• The algebra of topology
• Infinitary combinatorics and modal logic
• Topological Modal Logics with Difference Modality
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
• « Everywhere » and « here »
• The d-logic of the real line
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• Derivational Modal Logics with the Difference Modality

This page was built for publication: TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES