Assertion: logic's operator | /r/HasProperty | necessary
Facets:
Source sentences:
text: or : modal operator for "it is necessary that" (in modal logic), or "it is provable that" (in provability logic), or "it is obligatory that" (in deontic logic), or "it is believed that" (in doxastic logic); also as empty clause (alternatives: