- (in modal logic) a semantic device formalizing the notion of what the world might have been like. A statement is necessarily true if and only if it is true in every possible world
Possible World (noun) Definition, Meaning & Examples
