Predicate Logic with Anaphora
Paul Dekker

Abstract:
In this paper I make a case for a separate treatment of (singular) anaphoric 
pronouns within a predicate logic with anaphora (PLA). Discourse 
representation theoretic results (from Kamp 1981) can be formulated in a 
compositional way, without fiddling with orthodox notions of scope and 
binding. In contrast with its predecessor dynamic predicate logic 
(Groenendijk and Stokhof 1991), the system of PLA is a proper extension of 
ordinary predicate logic and it has a genuine update semantics. Moreover, in 
contrast with other compositional reformulations of DRT, the semantics of PLA 
remains well within the bounds of ordinary, extensional type theory.