Strong Completeness of S4 for the Real Line
From MaRDI portal
Publication:5027240
DOI10.1007/978-3-030-71430-7_10OpenAlexW3204553115MaRDI QIDQ5027240
Publication date: 4 February 2022
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-71430-7_10
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
- Completeness of S4 with respect to the real line: revisited
- Multimodal logics of products of topologies
- Diodorean modality in Minkowski spacetime
- A proof of topological completeness for S4 in \((0,1)\)
- The algebra of topology
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
- Reasoning About Space: The Modal Way
- STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
- Der Aussagenkalkül und die Topologie
- A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
This page was built for publication: Strong Completeness of S4 for the Real Line