LP-1998-07: Axiomatising Dynamic Logics for Anaphora

LP-1998-07: van Eijck, Jan (1998) Axiomatising Dynamic Logics for Anaphora. [Report]

[thumbnail of Full Text] Text (Full Text)
LP-1998-07.text.ps.gz

Download (106kB)
[thumbnail of Abstract] Text (Abstract)
LP-1998-07.abstract.txt

Download (832B)

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.

Item Type: Report
Report Nr: LP-1998-07
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1267

Actions (login required)

View Item View Item