Assertion: logic | /r/HasProperty | adequate
Facets:
value: thus far
type: DEGREE
value: for reasoning about programs
type: PURPOSE
Source sentences:
text: We use ‘4’ to describe such a transitive model because the logic which is adequate (both sound and complete) for 4-validity is \(\mathbf{K4}\), the logic which results from adding the axiom (4): \(\Box A\rightarrow \Box \Box A\) to \(\bK\).
text: The logics thus far are adequate for reasoning about programs that are supposed to terminate and display a certain input/output behavior.