“Developed by the American logician R. Montague (1930-1970). Formal semantic description of meaning in natural language, drawing on concepts of formal and modal logic, as a principled basis for syntax. It has influenced both Generalized Phrase Structure Grammar and Lexical-Functional Grammar.”
R. Montague, Formal Philosophy, R H Thomason, ed. and introd. (New Haven, 1974).