 So \(\neg A\) is true at a world \(w\) if and only if \(A\) is false, not at \(w\) itself (as it happens with standard negation), but at its twin \(w^*\). Relevant negation is therefore an intensional operator: in order to evaluate negated sentences at \(w\), we may need to check the goings on at some other world.