 Routley and Val Plumwood (1989) and Mares and André Fuhrmann (1995) present theories of counterfactual conditionals based on relevant logic. Their semantics adds to the standard Routley-Meyer semantics an accessibility relation that holds between a formula and two worlds. On Routley and Plumwood’s semantics, \(A\gt B\) holds at a world \(a\) if and only if for all worlds \(b\) such that \(SAab\), \(B\) holds at \(b\). Mares and Fuhrmann’s semantics is slightly more complex: \(A\gt B\) holds at a world \(a\) if and only if for all worlds \(b\) such that \(SAab\), \(A \rightarrow B\) holds at \(b\) (also see Brady (ed.) 2002, §10 for details of both semantics). Mares (2004) presents a more complex theory of relevant conditionals that includes counterfactual conditionals. All of these theories avoid the analogues of the paradoxes of implication that appear in standard logics of counterfactuals.