Assertion: modal logic | /r/HasProperty | operator
Facets:
Source sentences:
text: Modal logics include additional modal operators, such as an operator which states that a particular formula is not only true, but necessarily true.