Pages that link to "Item:Q5501770"
From MaRDI portal
The following pages link to TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770):
Displaying 9 items.
- Spatial logic of tangled closure operators and modal mu-calculus (Q515566) (← links)
- Connected modal logics (Q535140) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Tree-like constructions in topology and modal logic (Q2663333) (← links)
- Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- S4 is Topologically Complete for (0,1): a Short Proof (Q5479024) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)