Assertion: modal logic | /r/HasAspect | important applications
Facets:
value: in computer science
type: LOCATION
Source sentences:
text: Modal logic also has important applications in computer science.