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