Pages that link to "Item:Q5402239"
From MaRDI portal
The following pages link to STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE (Q5402239):
Displaying 14 items.
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) (← links)
- TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3 (Q4637951) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- Exploring the Jungle of Intuitionistic Temporal Logics (Q6063858) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)