Completeness of \(\mathrm S4\) for the Lebesgue measure algebra

DOI10.1007/S10992-010-9161-3zbMath1368.03023OpenAlexW2049989560MaRDI QIDQ427238

Tamar Lando

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

zbMATH Keywords

modal logicmeasure algebracompletenesstopological modal logictopological semanticsprobabilistic semanticsS4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Measures on Boolean rings, measure algebras (28A60)

Related Items (6)

Measure Quantifier in Monadic Second Order Logic ⋮ THE BAIRE CLOSURE AND ITS LOGIC ⋮ First order \(S4\) and its measure-theoretic semantics ⋮ LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ Strong Completeness of S4 for the Real Line

Cites Work

• Unnamed Item
• Unnamed Item
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• The representation of monadic Boolean algebras
• The algebra of topology
• Homeomorphic Measures in Metric Spaces

This page was built for publication: Completeness of \(\mathrm S4\) for the Lebesgue measure algebra