N. Asher and S. Pogodalla, A montagovian treatment of modal subordination, 20th Semantics and Linguistic Theory conference- SALT2010, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00565616

A. Church, A formulation of the simple theory of types. The journal of symbolic logic, pp.56-68, 1940.

P. De-groote, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.252-259, 2001.
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De-groote, Towards a montagovian account of dynamics, Proceedings of SALT, pp.1-16, 2006.

A. Frank, Context dependence in modal constructions, 1997.

J. Groenendijk and M. Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991.
DOI : 10.1007/BF00628304

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

I. Heim, File change semantics and the familiarity theory of definiteness . Formal Semantics, pp.223-248, 1983.

H. Kamp, A theory of truth and semantic representation. Formal Semantics, pp.189-222, 1981.

L. Karttunen, Discourse referents, Proceedings of the 1969 conference on Computational linguistics, pp.1-38, 1969.

R. Kibble, Dynamics of epistemic modality and anaphora, International workshop on computational semantics, pp.121-130, 1994.

A. Kratzer, What ?must? and ?can? must and can mean, Linguistics and Philosophy, vol.1, issue.3, pp.337-355, 1977.
DOI : 10.1007/BF00353453

A. Kratzer, The notional category of modality, pp.38-74, 1981.

A. Kratzer, Modality. Semantics: An international handbook of contemporary research, pp.639-650, 1991.

M. Krifka, Diskursrepräsentation und dynamische interpretation, 2001.

S. Kripke and . Aaron, A completeness theorem in modal logic, The Journal of Symbolic Logic, vol.XIV, issue.01, pp.1-14, 1959.
DOI : 10.2307/2964568

S. Kripke and . Aaron, Semantical analysis of modal logic i normal modal propositional calculi, Mathematical Logic Quarterly, vol.9, pp.5-667, 1963.

S. Lappin, Curry typing, polymorphism, and fine-grained intensionality The Handbook of Contemporary Semantic Theory: Second Edition, chap, 2014.

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

R. Montague, English as a formal language, Linguaggi nella societae nella tecnica, 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

R. Montague, The proper treatment of quantification in ordinary english, Approaches to Natural Language, pp.221-242, 1973.

B. Partee and . Hall, Opacity, coreference, and pronouns, Semantics of natural language, pp.415-441, 1973.

C. Roberts, Modal subordination, anaphora, and distributivity, 1987.

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

A. J. Schoubye, Epistemic modality and natural language, 2011.

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

M. Simons, Disjunction and anaphora, Proceedings of SALT, pp.245-260, 1996.

W. B. Starr, Kratzer on modality in natural language, 2012.

M. Stone, Reference to possible worlds, 1999.

C. Strachey and C. P. Wadsworth, Continuations: A mathematical semantics for handling full jumps, 1974.

A. Tarski, The Semantic Conception of Truth: and the Foundations of Semantics, Philosophy and Phenomenological Research, vol.4, issue.3, pp.341-376, 1944.
DOI : 10.2307/2102968

A. Tarski, The concept of truth in formalized languages. Logic, semantics, pp.152-278, 1956.

K. Von-fintel, Modality and language Encyclopedia of philosophy -second edition, 2006.