Quantified modal logic on the rational line
From MaRDI portal
Publication:2940883
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
- 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?)
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
- Diodorean modality in Minkowski spacetime
- Quantification in nonclassical logic. Volume I.
- Strong completeness of S4 for any dense-in-itself metric space
- The algebra of topology
Cited in
(9)- Completeness of second-order propositional S4 and H in topological semantics
- Topological-frame products of modal logics
- The d-logic of the rational numbers: a fruitful construction
- Quantified modal logics of positive rational numbers and some related systems
- First order \(S4\) and its measure-theoretic semantics
- On Dynamic Topological Logic of the Real Line
- Quantified intuitionistic logic over metrizable spaces
- Strong Completeness of S4 for the Real Line
- Strong completeness of S4 for any dense-in-itself metric space
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)
