Assertion: modal logic | /r/HasProperty | studied
Facets:
Source sentences:
text: However, modal higher-order logic has been studied as well.