Assertion: modal logic | /r/CapableOf | treat possibility
Facets:
value: as interdefinable
type: MANNER
Source sentences:
text: Modern modal logic treats necessity and possibility as interdefinable: