Situation semantics
Situation semantics is a framework in formal semantics and situation theory in which the meanings of linguistic expressions are evaluated with respect to situations—partial, concrete parts or aspects of the world—rather than complete possible worlds. It was developed in the late 1970s and early 1980s by Jon Barwise and John Perry as an alternative to extensional model theory and possible-worlds semantics, with a particular focus on perception reports, attitude reports and other context-dependent constructions in natural language.