Pages that link to "Item:Q427238"
From MaRDI portal
The following pages link to Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238):
Displaying 10 items.
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Dynamic measure logic (Q714709) (← links)
- Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049) (← links)
- On functionally complete modal algebras related to M and S4 (Q3329464) (← links)
- Strong Completeness of S4 for the Real Line (Q5027240) (← links)
- Measure Quantifier in Monadic Second Order Logic (Q5283434) (← links)
- S4 is Topologically Complete for (0,1): a Short Proof (Q5479024) (← 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)