 In the late 1970s and the 1980s, connexive logic was subjected to semantical investigations based on ternary frames for relevance logics, making use of the Routley star negation that is distinctive of logics “on the Australian Plan,” cf. Meyer and Martin 1986. Routley (1978) obtained a semantic characterization of Aristotle’s Thesis AT′ and Boethius’ Thesis BT using a ‘generation relation’ G between a formula A and a possible world s. The semantics employs model structures F = &lt;T, K, R, S, U, G, *&gt;, where K is a non-empty set of possible worlds, T ∈ K is a distinguished world (the ‘real world’), R, S, and U are ternary relations on K, G is a generation relation, and * is a function on K mapping every world s to its ‘opposite’ or ‘reverse’ s*. A valuation is a function v that sends pairs of worlds and propositional variables into {0,1}, satisfying the following heredity condition: if R(T, s, u) and v(p, s) = 1, then v(p, u) = 1. Intuitively, G(A, t) is supposed to mean that everything that holds in world t is implied by A. A model is a structure M = &lt;F, v&gt;. The relation M, t ⊨ A (“A is true at t in M”) is inductively defined as follows: