Assertion: dynamic logic | /r/HasProperty | invented by computer scientists
Facets:
value: in order to analyse computer action
type: PURPOSE
Source sentences:
text: Dynamic logic, on the other hand, was invented by computer scientists in order to analyse computer action; only after the fact was it realized that it could be viewed as modal logic of a very general kind.