Axiomatising Dynamic Logics for Anaphora Jan van Eijck 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. Keywords and Phrases: Context, dynamics, predicate logic, natural language semantics, axiomatisation, reasoning with anaphora. Submitted for publication in the Journal of Language and Computation.