STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE

DOI10.1017/S1755020313000087zbMath1326.03025MaRDI QIDQ5402239

Philip Kremer

Publication date: 6 March 2014

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

topological semanticsmodal logic S4

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Modal logic (including the logic of norms) (03B45)

Related Items (14)

Tree-like constructions in topology and modal logic ⋮ QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ Topology and measure in logics for region-based theories of space ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES ⋮ First order \(S4\) and its measure-theoretic semantics ⋮ TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 ⋮ Spatial logic of tangled closure operators and modal mu-calculus ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS ⋮ QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ Strong Completeness of S4 for the Real Line

This page was built for publication: STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE