Assertion: logic's application | /r/CapableOf | go beyond reasoning
Facets:
value: about programs
type: OTHER
Source sentences:
text: It was later realized that the application of dynamic logic goes beyond program verification or reasoning about programs.