Pages that link to "Item:Q705542"

The following pages link to Completeness of S4 with respect to the real line: revisited (Q705542):

Displaying 25 items.

• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
• Modal logics of Stone spaces (Q438813) (← links)
• Connected modal logics (Q535140) (← links)
• Dynamic measure logic (Q714709) (← links)
• A canonical topological model for extensions of K4 (Q969431) (← links)
• The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
• Hybrid logics of separation axioms (Q1047799) (← links)
• Graded modalities. III: The completeness and compactness of \(S4^ 0\) (Q1113889) (← links)
• Topology and measure in logics for region-based theories of space (Q1694810) (← links)
• Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
• Modal logic axioms valid in quotient spaces of finite CW-complexes and other families of topological spaces (Q1751496) (← links)
• A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
• A proof of topological completeness for S4 in \((0,1)\) (Q1772779) (← links)
• MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
• Tree-like constructions in topology and modal logic (Q2663333) (← links)
• Completing \(R^4\) using \(O(d, d)\) (Q2678122) (← links)
• A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
• Topological Semantics of Justification Logic (Q3503622) (← links)
• THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES (Q4959665) (← links)
• Strong Completeness of S4 for the Real Line (Q5027240) (← links)
• Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
• S4 is Topologically Complete for (0,1): a Short Proof (Q5479024) (← links)
• TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
• The real positive definite completion problem for a 4-cycle (Q5954849) (← links)
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)