 Alternative models of belief states can be constructed out of sets of possible worlds (Grove 1988). In logical parlance, by a possible world is meant a maximal consistent subset of the language. By a proposition is meant a set of possible worlds. There is a one-to-one correspondence between propositions and belief sets. Each belief set can be represented by the proposition (set of possible worlds) that consists of those possible worlds that contain the belief set in question.