\begin{thebibliography}{27}
\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{}
\expandafter\ifx\csname urlstyle\endcsname\relax
  \providecommand{\doi}[1]{doi:\discretionary{}{}{}#1}\else
  \providecommand{\doi}{doi:\discretionary{}{}{}\begingroup
  \urlstyle{rm}\Url}\fi
\small{
\bibitem[{Asher(1987)}]{asher87}
Asher, N. 1987.
\newblock A typology for attitude verbs and their anaphoric properties.
\newblock \emph{Linguistics and Philosophy} 10.

\bibitem[{Asher(2010)}]{asher10}
Asher, N. 2010.
\newblock \emph{Lexical meaning in context: a web of words}.
\newblock Cambridge.

\bibitem[{Asher \& McCready(2007)}]{asher07}
Asher, N. \& E. McCready. 2007.
\newblock Were, would, might and a compositional account of counterfactuals.
\newblock \emph{Journal of Semantics} 24(2).

\bibitem[{Barker \& Shan(2006)}]{barker-shan}
Barker, C. \& C.~Shan. 2006.
\newblock {Types as graphs: Continuations in type logical grammar}.
\newblock \emph{Journal of Logic, Language and Information} 15(4). 

\bibitem[{Barker(2004)}]{barker04}
Barker, C. 2004.
\newblock {Continuations in Natural Language}.
\newblock In {H. Thielecke} (ed.), \emph{Cw04: Proceedings of the 4th acm
  sigplan workshop on continuations}.

\bibitem[{Bernardi \& Moortgat(2007)}]{bernardi07}
Bernardi, R. \& M. Moortgat. 2007.
\newblock {Continuation semantics for symmetric categorial grammar}.
\newblock  \emph{Proc. 14th int'l conference on logic,
  language, information and computation}.

\bibitem[{Brasoeavnu(2008)}]{brasoeavnu10}
Brasoeavnu, A. 2008.
\newblock Structured anaphora to quantifier domains a unified account of
  quantificational and modal subordination and exceptional wide scope.
\newblock To appear in \textit{Information and Computation}.


\bibitem[{Dekker(1999)}]{dekker99}
Dekker, P. 1999.
\newblock Scopes in discourse.
\newblock \emph{Journal of Language and Computation} 1.

\bibitem[{Fernando(1994)}]{fernando94}
Fernando, T. 1994.
\newblock What is a drs?
\newblock Tech. Rep. R2.1.B Dyana deliverable.

\bibitem[{Frank(1996)}]{frank96}
Frank, A. 1996.
\newblock \emph{Context dependence in modal constructions}: University of
  Stuttgart dissertation.

\bibitem[{Frank \& Kamp(1997)}]{frank97}
Frank, A. \& H. Kamp. 1997.
\newblock {On Context Dependence in Modal Constructions}.
\newblock In \emph{{SALT} {VII}}.

\bibitem[{Geurts(1999)}]{geurts}
Geurts, B. 1999.
\newblock \emph{{Presuppositions and pronouns}}.
\newblock Elsevier.

\bibitem[{Groenendijk \& Stokhof(1990)}]{groenendijk-stokhof96}
Groenendijk, J. \& M. Stokhof. 1990.
\newblock {Dynamic Montague Grammar}.
\newblock In \emph{Papers from the 2nd symposium on logic and language}.

\bibitem[{Groenendijk \& Stokhof(1991)}]{groenendijk91}
Groenendijk, J. \& M. Stokhof. 1991.
\newblock Dynamic predicate logic.
\newblock \emph{Linguistics \& Philosophy} 14(1). 

\bibitem[{de~Groote(2006)}]{degroote06}
de~Groote, P. 2006.
\newblock Towards a montagovian account of dynamics.
\newblock In \emph{SALT {XVI}}.

\bibitem[{de~Groote \& Lebedeva(2010)}]{degroote10}
de~Groote, P. \& E. Lebedeva. 2010.
\newblock Presupposition accomodation as exception handling.
\newblock In \emph{Proceedings of sigdial}.

\bibitem[{Janssen(1986)}]{janssen}
Janssen, T. 1986.
\newblock \emph{Foundations and applications of montague grammar: philosophy,
  framework, computer science}: University of Amsterdam dissertation.

\bibitem[{Kamp(1981)}]{kamp81}
Kamp, H. 1981.
\newblock A theory of truth and semantic representation.
\newblock In J. Groenendijk, T. Janssen \& M. Stokhof (eds.),
  \emph{Formal methods in the study of language}, Foris.

\bibitem[{Moggi(1991)}]{moggi91}
Moggi, E. 1991.
\newblock Notions of computation and monads.
\newblock \emph{Information and Computation} 93(1).

\bibitem[{Roberts(1989)}]{roberts89}
Roberts, C. 1989.
\newblock Modal subordination and pronominal anaphora in discourse.
\newblock \emph{Linguistics \& Philosophy} 12.

\bibitem[{Roberts(1996)}]{roberts96}
Roberts, C. 1996.
\newblock Anaphora in intensional contexts.
\newblock In S. Lappin (ed.), \emph{The handbook of contemporary semantic
  theory}. Blackwell.

\bibitem[{Stone \& Hardt(1997)}]{stone97}
Stone, M. \& D. Hardt. 1997.
\newblock Dynamic discourse referents for tense and modals.
\newblock In \emph{Proceedings of {IWCS} 2}.

\bibitem[{Veltman(1996)}]{veltman96}
Veltman, F. 1996.
\newblock Defaults in update semantics.
\newblock \emph{Journal of Philosophical Logic} 25(3). 
}
\end{thebibliography}