Pages that link to "Item:Q476117"
From MaRDI portal
The following pages link to First order \(S4\) and its measure-theoretic semantics (Q476117):
Displaying 5 items.
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics (Q2904049) (← links)
- QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)