The values of variables in dynamic semantics

L'A. presente la Theorie de la Representation du Discours et le systeme d'interpretation de Heim pour une langue de la logique des predicats. Il montre comment ce systeme peut etre aisement etendu a la quentification adverbiale et adnominale

[1]  Paul Dekker,et al.  Predicate logic with anaphora (seven inch version) , 1994 .

[2]  Henk Zeevat,et al.  A compositional approach to discourse representation theory , 1989 .

[3]  Jan van Eijck,et al.  Dynamic interpretation and hoare deduction , 1992, J. Log. Lang. Inf..

[4]  David Lewis,et al.  Formal semantics of Natural Language: Adverbs of quantification , 2008 .

[5]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[6]  Mats Rooth.  Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics , 1987 .

[7]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[8]  J. Benthem,et al.  Generalized Quantifiers in Natural Language , 1985 .

[9]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[10]  J. Benthem.  Essays in Logical Semantics , 1986 .

[11]  Rebecca Louise Root,et al.  The semantics of anaphora in discourse , 1986 .

[12]  C. F. M. Vermeulen,et al.  Sequence semantics for dynamic predicate logic , 1993, J. Log. Lang. Inf..

[13]  Lenhart K. Schubert,et al.  Generically Speaking, or, Using Discourse Representation Theory to Interpret Generics , 1989 .

[14]  I. Heim.  E-Type pronouns and donkey anaphora , 1990 .

[15]  Gennaro Chierchia,et al.  Anaphora and dynamic binding , 1992 .

[16]  Makoto Kanazawa.  Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting , 1994 .

[17]  M. H. van den Berg.  A direct definition of generalized dynamic quantifiers , 1994 .

[18]  Nirit Kadmon,et al.  On unique and non-unique reference and asymmetric quantification , 1987 .

[19]  Lauri Karttunen,et al.  Discourse Referents , 1969, COLING.