Assertion: logic's operator | /r/HasProperty | read in alethic modal logic
Facets:
Source sentences:
text: In alethic modal logic, this operator is read