P. Amsili and M. Bras, Drt et compositionnalité, TAL, vol.39, issue.1, 1998.

N. Asher, Reference to Abstract Objects in Discourse, Studies in Linguistics and Philosophy, vol.50, 1993.
DOI : 10.1007/978-94-011-1715-9

N. Asher, 2. Troubles on right frontier, Proceedings of Constraints in Discourse, pp.29-52, 2005.
DOI : 10.1075/pbns.172.02ash
URL : https://hal.archives-ouvertes.fr/hal-00855023

N. Asher and A. Lascarides, The semantics and pragmatics of presupposition, Journal of Semantics, vol.15, issue.3, pp.239-299, 1998.
DOI : 10.1093/jos/15.3.239

N. Asher and A. Lascarides, Logics of Conversation, Studies in Natural Language Processing, 2003.

N. Asher and E. Mccready, Were, Would, Might and a Compositional Account of Counterfactuals, Journal of Semantics, vol.24, issue.2, 2007.
DOI : 10.1093/jos/ffl013

N. Asher and S. Pogodalla, A montagovian treatment of modal subordination, Proceedings of Semantics and Linguistic Theory (SALT), pp.387-405387, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00565616

N. Asher, S. Pogodalla, . Lenls, . Jurisin, . Ambn et al., SDRT and Continuation Semantics (eds) New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, Selected Papers, pp.3-15, 2010.

D. Beaver, Presupposition and Assertion in Dynamic Semantics Studies in Logic, Language, and Information, CSLI Publications, URL https Handbook of Logic and Language, 1997.

J. Bos, Implementing the Binding and Accommodation Theory for Anaphora Resolution and Presupposition Projection, Computational Linguistics, vol.21, issue.2, pp.179-210, 2003.
DOI : 10.1093/jos/9.4.333

J. Bos, Wide-coverage semantic analysis with Boxer, Proceedings of the 2008 Conference on Semantics in Text Processing, STEP '08, pp.277-286, 2008.
DOI : 10.3115/1626481.1626503

J. Busquets, L. Vieu, and N. Asher, La SDRT : une approche de la cohérence du discours dans la tradition de la sémantique dynamique, Verbum, vol.23, issue.1, 2001.

B. Carpenter, Type-Logical Semantics, 1997.

J. Clarke and M. Lapata, Discourse Constraints for Document Compression, Computational Linguistics, vol.17, issue.1, pp.411-441, 2010.
DOI : 10.1016/j.ipm.2007.01.016

F. Corblin, Représentation du discours et sémantique formelle, Linguistique nouvelle, 2002.

D. Cristea, N. Ide, D. Marcu, and V. Tablan, Discourse structure and co-reference: An empirical study, Proceedings of the 18th International Conference on Computational Linguistics COLING'2000, 2000.

P. Dekker, Predicate logic with anaphora, Proceedings of the Fourth Semantics and Linguistic Theory Conference (SALT), DMLL Publications, p.1569, 1994.
DOI : 10.1007/978-94-007-4869-9_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.8949

P. Dekker, Dynamic semantics, Semantics: An International Handbook of Natural Language Meaning, pp.923-945, 2011.
DOI : 10.1007/978-94-007-4869-9

J. Van-eijck and H. Kamp, Representing Discourse in Context*, pp.179-237, 1997.
DOI : 10.1016/B978-044481714-3/50006-0

J. Van-eijck and A. Visser, Dynamic semantics The Stanford Encyclopedia of Philosophy, 2010.

G. Evans, Pronouns ? In: Linguistic Inquiry 11-2, pp.337-362, 1980.

A. Frank and . Url, Context Dependence in Modal Constructions, Sprachtheoretische Grundlagen für die Computerlinguistik, p.91, 1997.

A. Frank and H. Kamp, On Context Dependence in Modal Constructions, Proceedings of SALT VII, 1997.

D. Gallin, Intensional and Higher-Order Modal Logic, 1975.

G. Gazdar, Pragmatics:Implicature, Presupposition, and Logical Form, 1979.

P. Geach, Reference and Generality: An Examination of Some Medieval and Modern Theories, 1962.

J. Groenendijk and M. Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991.
DOI : 10.1007/BF00628304
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.2292

P. De-groote, Towards a montagovian account of dynamics, Proceedings of Semantics and Linguistic Theory (SALT) 16, 1791.

P. De-groote, Dynamic Semantics and Discourse Presupposition accomodation as exception handling, Lectures at the International Conference on Semantics and Formal Modelling, JSM'10 Proceedings of SIGDIAL, 2010.

B. Grosz and C. Sidner, Attention, intentions, and the structure of discourse, Computational Linguistics, vol.12, issue.3, pp.175-204, 1986.

I. Heim, The semantics of definite and indefinite noun phrases, 1982.

I. Heim, File change semantics and the familiarity theory of definiteness, Use and the Interpretation of Language, pp.164-190, 1983.

I. Heim, On the Projection Problem for Presuppositions, Proceedings of the West Coast Conference on Formal Linguistics, 1983.
DOI : 10.1002/9780470758335.ch10

R. Jackendoff, Pr??cis of Foundations of Language: Brain, Meaning, Grammar, Evolution,, Behavioral and Brain Sciences, vol.26, issue.06, 2002.
DOI : 10.1017/S0140525X03000153

H. Kamp, A theory of truth and semantic representation, Methods in the Study of Language, 1981.

H. Kamp, Théorie des représentations du discours et sémantique dynamique : traitements représentationnels et non représentationnels de l'anaphore, Interpréter en contexte, Cognition et Traitement de l'Information, pp.145-178, 2005.

H. Kamp and U. Reyle, From Discourse to Logic Karttunen L (1974) Presupposition and linguistic context, Theoretical Linguistics, vol.1, pp.181-194, 1993.

E. Lebedeva, Expression de la dynamique du discoursàdiscoursà l'aide de continuations, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245

W. Mann and S. Thompson, Rhetorical Structure Theory: Toward a functional theory of text organization, Text - Interdisciplinary Journal for the Study of Discourse, vol.8, issue.3, pp.243-281, 1988.
DOI : 10.1515/text.1.1988.8.3.243

D. Marcu, From discourse structures to text summaries, Proceedings of the ACL'97/EACL'97 Workshop on Intelligent Scalable Text Summarization, 1997.

D. Marcu, The Theory and Practice of Discourse Parsing and Summarization, 2000.

S. Martin and C. Pollard, A Higher-Order Theory ofPresupposition, to appear in Studia Logica

S. Martin and C. Pollard, Hyperintensional Dynamic Semantics, Proceedings of Formal Grammar (FG) 15, to appear in Lecture Notes in Computer Science, 2010.
DOI : 10.1007/978-3-642-32024-8_8

R. Montague, English as a formal language, Linguaggi nella Società e nella Tecnica, Edizioni di Comunità, pp.189-224, 1970.

R. Montague, Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970.
DOI : 10.1111/j.1755-2567.1970.tb00434.x

G. Morrill, Incremental Processing and Acceptability, Computational Linguistics, vol.26, issue.3, pp.319-338, 2000.
DOI : 10.1002/malq.19810271306
URL : http://doi.org/10.1162/089120100561728

R. Muskens, Anaphora and the logic of change, Proceedings of JELIA '90, pp.412-427, 1991.
DOI : 10.1007/BFb0018456

R. Muskens, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, 1996.
DOI : 10.1007/BF00635836

N. Ogata, A Dynamic Semantics of Modal Subordination, Joint JSAI 2005 Workshops, pp.149-156, 2006.
DOI : 10.1007/11780496_18

B. Partee and H. Hendriks, Montague grammar, 1997.
DOI : 10.1016/b978-0-444-53726-3.00001-3

L. Polanyi, A formal model of the structure of discourse, Journal of Pragmatics, vol.12, issue.5-6, 1988.
DOI : 10.1016/0378-2166(88)90050-1

P. Portner and B. Partee, Formal Semantics: The Essential Readings, 2002.
DOI : 10.1002/9780470758335

M. Rebuschi, M. Amblard, and M. Musiol, Schizophrénie, logicité et compréhension enpremì ere personne. L' ´ Evolution psychiatrique to appear, 2012.

C. Roberts, Modal subordination and pronominal anaphora in discourse, Linguistics and Philosophy, vol.7, issue.6, pp.683-721, 1989.
DOI : 10.1007/BF00632602

R. Van-der-sandt, Presupposition Projection as Anaphora Resolution, Journal of Semantics, vol.9, issue.4, pp.333-378, 1992.
DOI : 10.1093/jos/9.4.333

P. Sells, Restrictive and non-restrictive modification, 1985.

M. Stone and D. Hardt, Dynamic Discourse Referents for Tense and Modals, Proceedings of IWCS 2, 1997.
DOI : 10.1007/978-94-011-4231-1_15

F. Veltman, Defaults in update semantics, Journal of Philosophical Logic, vol.25, issue.3, pp.221-261, 1996.
DOI : 10.1007/BF00248150