Assertion: modal logic | /r/HasProperty | proposed as non-classical logic
Facets:
value: often
type: TEMPORAL
Source sentences:
text: Modal logic is not truth conditional, and so it has often been proposed as a non-classical logic.