Meaning Helps Learning Syntax - Tellier (1998)(Correct)(3 citations)
an explicit formalization with the works of Richard Montague (16, 7]and his inheritors. In this paper,
Formal Philosophy Selected papers of Richard Montague, Yale University Press, New Haven, 1974. 17. ftp.grappa.univ-lille3.fr/pub/reports/tellier98c.ps
On the Proper Treatment of Tense - von Stechow (1995)(Correct)(2 citations)
the writings of Arthur Prior and is used by Richard Montague. If we use two time parameters, the speech
time" Abusch 1993, p. 23) IL is Richard Montague's language Intensional Logic.What she coletrane.sfs.nphil.uni-tuebingen.de/Lehrstuhl/Arnim/SALT95.ps
First-Order Intensional Logic - Fitting (2003)(Correct)(1 citation)
intensional objects, that traces back to Richard Montague. I have been involved with this line of
editor. Formal Philosophy, Selected Papers of Richard Montague. Yale University Press, New Haven and comet.lehman.cuny.edu/fitting/bookspapers/pdf/papers/foil.pdf
Abstracting over Semantic Theories - Holt (1993)(Correct)(1 citation)
degree than had been realized, but it was Richard Montague who first synthesized formal models of
ed.Formal Philosophy: Selected Papers of Richard Montague, pp. 222-246. New Haven, Conn.Yale ftp.cogsci.ed.ac.uk/pub/CCS/PHD/1993/EUCCS-PHD-1993-4.ps.gz
A Logic of Arbitrary and Indefinite Objects - Stuart Shapiro Department(Correct)
motivations are very similar to those of Richard Montague for his treatment of quantification (see
ed.Formal Philosophy: Selected Papers of Richard Montague. New Haven, CT: Yale University Press. www.cse.buffalo.edu/~shapiro/Papers/sha04a.pdf
Syntactico-Semantic Learning of Categorial Grammars - Tellier(Correct)
an explicit formulation with the works of Richard Montague (Dowry, Wall &Peters 81 Montague 74) and
(1974)Formal Philosophy Selected papers of Richard Montague. Yale University Press, New Haven. Moortgat, acl.ldc.upenn.edu/W/W98/W98-1242.pdf
Tense, Quantifiers, And Contexts - Hinrichs (2002)(Correct)
that has been developed by the logician Richard Montague (cf. Mon- tague 1973)Montague Grammar
De Gruyter, Berlin, W. Germany 250-269. Montague, Richard 1973. Formal Philosophy. Richmond Thomason acl.ldc.upenn.edu/J/J88/J88-2002.pdf
USING I-CALCULUS TO REPRESENT MFkNINGS IN LOGIC GRdMARS* - David Scott Warren(Correct)
#IST-80- 10834 developed out of the work of Richard Montague. They include the systems described in
[1974] Formal Philosophy: Selected Paper of Richard Montague, edited and with an introduction by R.
Artifical Intellisence, VoI 18, 327-367. Montague, Richard [1973] The proper treatment of acl.ldc.upenn.edu/P/P83/P83-1008.pdf
Formalizing the Semantics of Derived Words - Thomason (2001)(Correct)
logicist tradition emerged from the work of Richard Montague, a philosopher who (building to a large
Academy of Sciences, 1984. Montague, 1962 ]Richard Montague. Deterministic theories. In Decisions, www.eecs.umich.edu/~rthomaso/documents/nms.ps
Computational Semantics - An Ti Cs(Correct)
can be traced back to the pioneering work of Richard Montague in formal semantics. His work is of direct
(1974) Formal Philosophy, selected papers of Richard Montague. Yale University Press, 95-118. Montague, cwis.kub.nl/~fdl/general/people/rmuskens/comput.ps
On the Proper Treatment of Context in NL - van Eijck (1999)(Correct)
quanti cation in Natural Language proposed by Richard Montague some thirty years ago does not do proper
from the theory of simple types adopted by Richard Montague in his program of formal semantics for www-uilots.let.uu.nl/publications/clin1999/Pap/jve.ps