Assertion: modal logic | /r/CapableOf | lie at right level of abstraction
Facets:
value: exactly
type: DEGREE
Source sentences:
text: This suggests that poly-modal logic lies at exactly the right level of abstraction to describe, and reason about, computation and other processes.