possible world


possible world

n (Logic) 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