Assertion: dynamic logic | /r/HasProperty | pdl
Facets:
Source sentences:
text: The propositional version of Dynamic Logic, PDL, was introduced by Fischer and Ladner (1977), and became an important topic of research in itself.