Pages that link to "Item:Q2904049"
From MaRDI portal
The following pages link to Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049):
Displaying 6 items.
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Dynamic measure logic (Q714709) (← links)
- A sound and complete axiomatization for dynamic topological logic (Q2915900) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)
- THE BAIRE CLOSURE AND ITS LOGIC (Q6123578) (← links)