The d-logic of the rational numbers: a fruitful construction

DOI10.1007/s11225-011-9305-7zbMath1231.03018OpenAlexW2037410347MaRDI QIDQ633161

Joel Lucero-Bryan

Publication date: 31 March 2011

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-011-9305-7

zbMATH Keywords

modal logictreestopological semanticsderivative/derived set operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES ⋮ Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP ⋮ More on \(d\)-logics of subspaces of the rational numbers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic logic and modality via topology
• Some results on modal axiomatization and definability for topological spaces
• Scattered and hereditarily irresolvable spaces in modal logic
• Tense systems with discrete moments of time. I
• The algebra of topology
• Infinitary combinatorics and modal logic
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
• Using the Universal Modality: Gains and Questions
• « Everywhere » and « here »

This page was built for publication: The d-logic of the rational numbers: a fruitful construction