Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
An Equational Axiomatization of Dynamic Negation and Relational Composition
Journal of Logic, Language and Information
Dynamic Relation Logic Is the Logic of DPL-Relations
Journal of Logic, Language and Information
A path-based variable-free system for predicate logic
A path-based variable-free system for predicate logic
Meaning and Use of Indefinite Expressions
Journal of Logic, Language and Information
Realization of natural language interfaces using lazy functional programming
ACM Computing Surveys (CSUR)
On dependency and quantification in dynamic semantics
JSAI'03/JSAI04 Proceedings of the 2003 and 2004 international conference on New frontiers in artificial intelligence
Semantically Restricted Argument Dependencies
Journal of Logic, Language and Information
Hi-index | 0.00 |
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.