QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
From MaRDI portal
Publication:2940883
DOI10.1017/S1755020314000021zbMath1329.03058OpenAlexW2331073395MaRDI QIDQ2940883
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
Related Items (5)
First order \(S4\) and its measure-theoretic semantics ⋮ Topological-frame products of modal logics ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ Strong Completeness of S4 for the Real Line
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantification in nonclassical logic. Volume I.
- Diodorean modality in Minkowski spacetime
- The algebra of topology
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
This page was built for publication: QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE