Assertion: logic's application | /r/HasProperty | important
Facets:
Source sentences:
text: Modal logic also has important applications in computer science.