Assertion: complement's value | /r/HasProperty | sets of possible worlds
Facets:
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]