Possible worlds semantics identifies propositions with sets of possible worlds, but this framework p...