More on \(d\)-logics of subspaces of the rational numbers
From MaRDI portal
Publication:1762355
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
topological modal logic; scattered spaces; derived set operator; \(d\)-completeness; \(d\)-definability; \(d\)-semantics
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