Assertion: negation | /r/CapableOf | see the entry
Facets:
value: on modal logic
type: OTHER
Source sentences:
text: Since modal operators are unary connectives and since there exist different notions of alethic necessity (necessary truth) and alethic possibility (possible truth), a rather natural question then is whether negations can be analyzed in a revealing way as modal operators, see the entry on modal logic.