Assertion: dynamic logic | /r/HasProperty | dl
Facets:
Source sentences:
text: Groenendijk and Stokhof replace these structures by introducing a dynamics into the evaluation of a formula, as proposed in Dynamic Logic (DL).