More on \(d\)-logics of subspaces of the rational numbers

DOI10.1215/00294527-1716748zbMath1271.03027OpenAlexW1977264230MaRDI QIDQ1762355

Joel Lucero-Bryan, Guram Bezhanishvili

Publication date: 23 November 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1348524115

zbMATH Keywords

topological modal logicscattered spacesderived set operator\(d\)-completeness\(d\)-definability\(d\)-semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12)

Related Items (3)

Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4

Cites Work

• Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
• An algebraic approach to subframe logics. Modal case
• The d-logic of the rational numbers: a fruitful construction
• Some results on modal axiomatization and definability for topological spaces
• Scattered and hereditarily irresolvable spaces in modal logic
• The structure of lattices of subframe logics
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Tense systems with discrete moments of time. I
• The algebra of topology
• Spectral and T 0-Spaces in d-Semantics
• THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
• Unifiability in extensions of K4
• Consequences of Schanuel's condition for zeros of exponential terms
• Products of modal logics, part 1
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: More on \(d\)-logics of subspaces of the rational numbers