The donkey strikes back: Extending the dynamic interpretation "constructively"

The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negation and disjunction that are more "dynamic" (in a precise sense) than the usual reductions to tests from quantified dynamic logic (which, nonetheless, can be recovered from the new connectives). An analysis of the "donkey" sentence followed by the assertion "It will kick back" is provided.

• Type: Conference
• Year: 1993
• Where: EACL
• Authors: Tim Fernando
• Keywords: Binary Relation, Dynamic Interpretation, EACL 1993, Natural Language Processing, Universal Quantification