Pages that link to "Item:Q705542"
From MaRDI portal
The following pages link to Completeness of S4 with respect to the real line: revisited (Q705542):
Displayed 16 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)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- Hybrid logics of separation axioms (Q1047799) (← 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)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- A sound and complete axiomatization for Dynamic Topological Logic (Q2915900) (← links)
- Topological Semantics of Justification Logic (Q3503622) (← links)
- Non-finite axiomatizability of dynamic topological logic (Q5410331) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)