Recommendations
- Strong completeness of S4 for any dense-in-itself metric space
- The modal logic of continuous functions on the rational numbers
- Completeness of second-order propositional S4 and H in topological semantics
- The d-logic of the rational numbers: a fruitful construction
- A proof of topological completeness for S4 in (0,1)
Cites work
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
- Diodorean modality in Minkowski spacetime
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 192927 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 3232606 (Why is no real title available?)
- scientific article; zbMATH DE number 3335736 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- Quantification in nonclassical logic. Volume I.
- Strong completeness of S4 for any dense-in-itself metric space
- The algebra of topology
Cited in
(9)- Quantified modal logics of positive rational numbers and some related systems
- Topological-frame products of modal logics
- On Dynamic Topological Logic of the Real Line
- First order \(S4\) and its measure-theoretic semantics
- Completeness of second-order propositional S4 and H in topological semantics
- Strong Completeness of S4 for the Real Line
- Quantified intuitionistic logic over metrizable spaces
- Strong completeness of S4 for any dense-in-itself metric space
- The d-logic of the rational numbers: a fruitful construction
This page was built for publication: Quantified modal logic on the rational line
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2940883)
