Kripke's possible worlds semantics requires that the domain function D assign objects to worlds, and...