Characterizing existence of a measurable cardinal via modal logic Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Abstract: We prove that the existence of a measurable cardinal is equivalent to the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the powerset of a two element set