Assertion: dynamic logic | /r/HasProperty | dpl
Facets:
Source sentences:
text: The idea of going dynamic was further developed in Dynamic Predicate Logic (DPL, see Groenendijk and Stokhof 1991), where all expressions are interpreted dynamically.