Axiomatising Dynamic Logics for Anaphora
Jan van Eijck

Abstract:
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.