Assertion: negation | /r/HasProperty | taken in kripke semantics
Facets:
value: to mean set-theoretic complementation.[citation
type: PURPOSE
Source sentences:
text: In Kripke semantics where the semantic values of formulae are sets of possible worlds, negation can be taken to mean set-theoretic complementation.[citation needed]