Pages that link to "Item:Q427238"
From MaRDI portal
The following pages link to Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238):
Displayed 6 items.
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- Measure Quantifier in Monadic Second Order Logic (Q5283434) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)