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.

Specifying and Verifying and Reasoning about Programs (acm F.3.1), Semantics of Programming Languages (acm F.3.2), Knowledge Representation Formalisms and Methods (acm I.2.4), Natural Language Processing (acm I.2.7)
Logic of natural languages (msc 03B65), Semantics (msc 68Q55)
CWI
Information Systems [INS]
Standardization and Knowledge Transfer

van Eijck, D.J.N. (1998). Axiomatising dynamic logics for anaphora. Information Systems [INS]. CWI.