n. (Logic) a semantic device in modal logic that formalizes the notion of what the world might have been like; that is, a complete world-description. A statement is necessary (necessarily true) if and only if it is true in every possible world, and possible (possibly true) if and only if it is true in at least one.