Incremental dynamics

A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic Predicate Logic orDiscourse Representation Theory. It comes with a more well behaved(i.e., transitive) consequence relation, it gives a more explicitaccount of how anaphoric context grows as text gets processed, and ityields new insight into the dynamics of anaphoric linking in reasoning.Incremental dynamics also points to a new way of handling contextdynamically in Montague grammar.
Keywords anaphora and context  complete calculus for dynamic reasoning with anaphora  dynamic semantics of natural language  incremental interpretation  monotonic semantics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1011251627260
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 31,856
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
On Dependent Pronouns and Dynamic Semantics.Rick Nouwen - 2007 - Journal of Philosophical Logic 36 (2):123-154.
Semantically Restricted Argument Dependencies.Alastair Butler - 2011 - Journal of Logic, Language and Information 20 (1):69-114.

Add more citations

Similar books and articles
Added to PP index

Total downloads
21 ( #270,423 of 2,231,724 )

Recent downloads (6 months)
2 ( #265,118 of 2,231,724 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature