I give a probabilistic semantics for modal logic in which modal operators function as quantifiers over Popper functions in probabilistic model sets, thereby generalizing Kripke's semantics for modal logic.