Assertion: modal logic | /r/CapableOf | lie at computation
Facets:
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.