STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
From MaRDI portal
Publication:5402239
DOI10.1017/S1755020313000087zbMath1326.03025MaRDI QIDQ5402239
Publication date: 6 March 2014
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
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