Paper: The Donkey Strikes Back: Extending The Dynamic Interpretation constructively

ACL ID E93-1017
Title The Donkey Strikes Back: Extending The Dynamic Interpretation constructively
Venue Annual Meeting of The European Chapter of The Association of Computational Linguistics
Session Main Conference
Year 1993
Authors
  • Tim Fernando (Centrum Wiskunde en Informatica, Amsterdam The Netherlands)

The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treat- ments of implication, universal quantifi- cation, negation and disjunction that are more "dynamic" (in a precise sense) than the usual reductions to tests from quanti- fied 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 pro- vided.