Quantified modal logic on the rational line
From MaRDI portal
Publication:2940883
DOI10.1017/S1755020314000021zbMATH Open1329.03058OpenAlexW2331073395MaRDI QIDQ2940883FDOQ2940883
Authors: Philip Kremer 
Publication date: 21 January 2015
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020314000021
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The algebra of topology
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
- Title not available (Why is that?)
- Diodorean modality in Minkowski spacetime
- Title not available (Why is that?)
- Quantification in nonclassical logic. Volume I.
- Strong completeness of S4 for any dense-in-itself metric space
Cited In (9)
- 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
- Completeness of second-order propositional S4 and H in topological semantics
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)
