Montague grammar
The Montague grammar is based on mathematical logic , especially higher-order predicate logic and lambda calculus , and makes use of the notions of intensional logic , via Kripke models . 
<triplet> predicate logic <subj> mathematical logic <obj> studied by