During the 1980s, two research programs in formal semantics were established: dynamic semantics (DS), which provides a discourse interpretation, and generalized quantifier theory (GQT), which deals with quantification in natural languages. In the 1990s, proposals to integrate GQT into DS were made; unfortunately, many of them failed to include the problems of anaphora in contexts of quantification. This paper redefines problems of quantification as problems of characterization of finite classes. It defines a semantic framework, dynamic theory for discourse interpretation, and demonstrates how problems of plural pronominal anaphora can be treated properly within it.
