Strong Completeness of S4 for the Real Line

DOI10.1007/978-3-030-71430-7_10OpenAlexW3204553115MaRDI QIDQ5027240FDOQ5027240

Authors: Philip Kremer 

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

Recommendations

• Strong completeness of S4 for any dense-in-itself metric space
• A proof of topological completeness for S4 in \((0,1)\)
• Quantified modal logic on the rational line
• Completeness of S4 with respect to the real line: revisited
• S4 is Topologically Complete for (0,1): a Short Proof

zbMATH Keywords

modal logicstrong completenesstopological semanticsreal line

Mathematics Subject Classification ID

General logic (03Bxx) Algebraic logic (03Gxx)

Cites Work

• 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
• Multimodal logics of products of topologies
• Reasoning About Space: The Modal Way
• Der Aussagenkalkül und die Topologie
• Diodorean modality in Minkowski spacetime
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Completeness of S4 with respect to the real line: revisited
• Quantified modal logic on the rational line
• Strong completeness of S4 for any dense-in-itself metric space
• A proof of topological completeness for S4 in \((0,1)\)

Cited In (2)

• S4 is Topologically Complete for (0,1): a Short Proof
• On Dynamic Topological Logic of the Real Line

This page was built for publication: Strong Completeness of S4 for the Real Line

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5027240)