The proper treatment of quantification in Natural Language proposed by Richard Montague some thirty years ago does not do proper justice to the fact that interpretation of texts both uses context and sets up new contexts. The dynamic turn in NL semantics is the attempt to model this basic fact, but the use of dynamically quantified variables introduces an undesirable element into this attempt. By extending a variable free `incremental dynamics' with a flexible system of type scheme patterns and type scheme pattern matching, we arrive at a Montague style architecture for NL semantics that provides a proper treatment both of quantification and of context use and context change.

Formal Languages (acm F.4.3), Knowledge Representation Formalisms and Methods (acm I.2.4), Natural Language Processing (acm I.2.7)
Natural language processing (msc 68T50), Logic of natural languages (msc 03B65)
Information Systems [INS]
Standardization and Knowledge Transfer

van Eijck, D.J.N. (2000). On the proper treatment of context in NL. Information Systems [INS]. CWI.