Axiomatising dynamic logics for anaphora

A new task put on the agenda of philosophical logic by the recent dynamic turn, the account for the dynamics of anaphoric context shifts in reasoning, is taken up. The paper gives a sequent axiomatisation of some well known dynamic anaphora logics. The calculi are shown to be sound and complete. They differ from earlier calculi for the dynamics of anaphoric context in that they take the notion of anaphoric context change from premiss to conclusion as starting point of the analysis, and they do not rely on an implicit translation to first order predicate logic.