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
Word origin
named after Richard Merett Montague (1930–71), US logician