Completeness of S4 for the Lebesgue Measure Algebra
Dynamic Measure Logic
Fractal completeness techniques in topological modal logic
Conclusive reasons to believe
