von dem amerikanischen Logiker und Sprachtheoretiker Richard Montague (* 1932, † 1971) entwickeltes Grammatikmodell; es beruht auf der Prämisse, dass sich natürliche und formale Sprachen theoretisch nicht wesentlich unterscheiden, und intendiert die Freilegung der logischen Strukturen natürlicher Sprachen. Zu diesem Zweck werden Ausdrücke der natürlichen Sprache mittels logischer Operationen