Guram Bezhanishvili. Existence of measurable cardinals and modal logic