Báo cáo khoa học: The donkey strikes back Extending the dynamic interpretation constructively
Báo cáo khoa học: 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. ... - tailieumienphi.vn