 The semantics for relevant logics were developed by Fine (1974), Routley and Routley (1972), Routley and Meyer (1993) and Urquhart (1972). (There are also algebraic semantics; see for example Dunn &amp; Restall 2002: 48ff.) Routley-Meyer semantics is based on possible-world semantics, which is the most studied semantics for relevant logics, especially in Australasia. In this semantics, conjunction and disjunction behave in the usual way. But each world, \(w\), has an associate world, \(w^*\), and negation is evaluated in terms of \(w^*: \neg A\) is true at \(w\) iff \(A\) is false, not at \(w\), but at \(w^*\). Thus, if \(A\) is true at \(w\), but false at \(w^*\), then \(A \wedge \neg A\) is true at \(w\). To obtain the standard relevant logics, one needs to add the constraint that \(w^{**} = w\). As is clear, negation in these semantics is an intensional operator.