 The semantics from Routley et al.’s (1982) relevance logic gives the evaluation conditions on a three-place accessibility relation, where the notion of an accessibility relation is familiar from their role in Kripke frames, used to specify the semantics of modal logic. Barwise notes the connection explicitly: