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

Authors:
Tim Fernando
Affiliations:
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Venue:
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Year:
1993

Citing 3
Cited 1

Concurrent dynamic logic

Journal of the ACM (JACM)
Anaphora and the logic of change

JELIA '90 Proceedings of the European workshop on Logics in AI
Transition Systems and Dynamic Semantics

JELIA '92 Proceedings of the European Workshop on Logics in AI

Introduction to Natural Language Semantics,Henriëtte de Swart

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.