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

DOI10.1215/00294527-1716748zbMath1271.03027MaRDI 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 logic; scattered spaces; derived set operator; \(d\)-completeness; \(d\)-definability; \(d\)-semantics

Mathematics Subject Classification ID

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

54G12: Scattered spaces

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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