possible world


noun

logic (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

Words nearby possible world