 The initial motivation for a dynamic semantic (see entry on  dynamic semantics)  approach to discourse and donkey anaphora was on the one hand to preserve the “dynamic” elements of DRT, that is the view that what an expression means is given by the way in which the addition of the expression to a discourse changes the information available to a hearer of the discourse, (“meaning as potential for changing the state of information”). On the other hand, dynamic semantic approaches wanted to adhere to compositionality. This is made very clear in the introduction of the classic statement of the dynamic semantic approach to discourse and donkey anaphora, namely Groenendijk and Stokhof (1991). We shall here discuss their treatment of discourse and donkey anaphora, Dynamic Predicate Logic (henceforth DPL), and gesture at other treatments in the dynamic semantic tradition. First generation dynamic semantic theories of anaphora like DPL give an account of singular cross-sentential anaphora as well as donkey sentences. Subsequent work in dynamic semantics has adapted and added to these tools to account for things like plural anaphora, quantificational subordination, and other issues.  (See for example van den Berg (1996), Krifka (1996a), Nouwen (2003b), Brasoveanu (2007, 2010), and Keshet (2018).) Of the theories discussed in this entry, this is the most difficult to explain informally. We shall keep the discussion as informal as possible, and urge interested readers to consult the works cited directly for more detail.