Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
From MaRDI portal
Publication:427238
DOI10.1007/s10992-010-9161-3zbMath1368.03023MaRDI QIDQ427238
Publication date: 13 June 2012
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-010-9161-3
modal logic; measure algebra; completeness; topological modal logic; topological semantics; probabilistic semantics; S4
03B45: Modal logic (including the logic of norms)
28A60: Measures on Boolean rings, measure algebras
Related Items
Strong Completeness of S4 for the Real Line, Measure Quantifier in Monadic Second Order Logic, TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4, LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA, THE BAIRE CLOSURE AND ITS LOGIC, First order \(S4\) and its measure-theoretic semantics
Cites Work