The d-logic of the rational numbers: a fruitful construction
From MaRDI portal
(Redirected from The d-logic of the rational numbers: a fruitful construction)
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
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 16407 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- Infinitary combinatorics and modal logic
- Intuitionistic logic and modality via topology
- Modal logic
- Scattered and hereditarily irresolvable spaces in modal logic
- Some results on modal axiomatization and definability for topological spaces
- Tense systems with discrete moments of time. I
- The algebra of topology
- The modal logic of Stone spaces: diamond as derivative
- Using the Universal Modality: Gains and Questions
- « Everywhere » and « here »
Cited in
(6)- Quantified modal logics of positive rational numbers and some related systems
- More on \(d\)-logics of subspaces of the rational numbers
- Quantified modal logic on the rational line
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP
- The d-logic of the real 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)
