possible-worlds semantics

A version of FORMAL SEMANTICS in which SENTENCES and other EXPRESSIONS may be assigned SEMANTIC VALUES not just in relation to the actual or real world but across a range of abstract REPRESENTATIONS of hypothetical states of affairs, or possible worlds. A main aim is to model speakers’ abilities to make distinctions of MODALITY, for example commitments to possibility, probability and necessity.