Strong Completeness of S4 for the Real Line

DOI10.1007/978-3-030-71430-7_10MaRDI QIDQ5027240zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

modal logicstrong completenesstopological semanticsreal line

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A proof of topological completeness for S4 in \((0,1)\)
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Completeness of S4 with respect to the real line: revisited
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• Der Aussagenkalkül und die Topologie
• Diodorean modality in Minkowski spacetime
• Multimodal logics of products of topologies
• Quantified modal logic on the rational line
• Reasoning About Space: The Modal Way
• Strong completeness of S4 for any dense-in-itself metric space
• The algebra of topology

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)