- a model-theoretic semantic theory for natural language that seeks to encompass indexical expressions and opaque contexts within an extensional theory by constructing set-theoretic representations of the intension of an expression in terms of functions of possible worlds
