Modal logic for topologists

We sketch the proof of the following result: the existence of a normal space whose modal logic coincides with the modal logic of the Kripke frame isomorphic to the power set of a two element set is equivalent to the existence of a measurable cardinal. Whether normal in this result can be weakened to Tychonoff, is an open problem.