Kripke's possible worlds semantics demonstrates that even actualist-friendly modal frameworks must p...