Assertion: logic | /r/CapableOf | provide means
Facets:
value: to reason about programs
type: PURPOSE
Source sentences:
text: As such a logic of action provides a means to reason about programs, or more precisely, the execution of programs and their effects.