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 9 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)
- 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)