Assertion: modal logic | /r/CapableOf | add symbol
Facets:
value: for possibility
type: PURPOSE
value: for necessity
type: PURPOSE
Source sentences:
text: For example, infinitary logics permit formulas of infinite size, and modal logics add symbols for possibility and necessity.