Axiomatising Dynamic Logics for Anaphora

A task put on the agenda of philosophical logic by the dynamic turn in natural language analysis and in logic, the account for the dynamics of anaphoric context shifts in reasoning, is taken up along new lines. A standard way to treat reasoning with dynamic anaphora logics is by means of translation to rst order predicate logic. This paper gives direct sequent axiomatisations of some well known dynamic anaphora logics. The calculi are shown to be sound and complete. The calculi throw new light on the relation between various formats for representing anaphoric links by means of sharing of dynamically bound variables. The sequent approach to the dynamics of anaphoric context takes the notion of anaphoric context change from premiss to conclusion as starting point of the analysis, and does not rely on an implicit translation to rst order predicate logic. Keywords: Context, dynamics, predicate logic, natural language semantics, axiomatisation, reasoning with anaphora 1 Pronominal Refere.