The d-logic of the rational numbers: a fruitful construction
From MaRDI portal
Publication:633161
DOI10.1007/S11225-011-9305-7zbMATH Open1231.03018OpenAlexW2037410347MaRDI QIDQ633161FDOQ633161
Authors: 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
Recommendations
- More on \(d\)-logics of subspaces of the rational numbers
- Simple completeness proofs for some spatial logics of the real line
- Quantified modal logics of positive rational numbers and some related systems
- Quantified modal logic on the rational line
- The modal logic of continuous functions on the rational numbers
Cites Work
- Modal logic
- Title not available (Why is that?)
- Using the Universal Modality: Gains and Questions
- Title not available (Why is that?)
- The algebra of topology
- Some results on modal axiomatization and definability for topological spaces
- « Everywhere » and « here »
- Scattered and hereditarily irresolvable spaces in modal logic
- Infinitary combinatorics and modal logic
- The modal logic of Stone spaces: diamond as derivative
- Title not available (Why is that?)
- Intuitionistic logic and modality via topology
- Tense systems with discrete moments of time. I
Cited In (6)
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
- Quantified modal logics of positive rational numbers and some related systems
- More on \(d\)-logics of subspaces of the rational numbers
- The d-logic of the real line
- Quantified modal logic on the rational line
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES
This page was built for publication: The d-logic of the rational numbers: a fruitful construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q633161)