 Another experiment on the negation of indicative conditionals is presented in Egré and Politzer 2013. They consider weakenings of the classical conjunctive understanding of ~(A → B) as (A ∧ ~B) and the connexive reading as (A → ~B), namely (A ∧ ◊~B), respectively (A → ◊~B). Exploiting the flexibility of the “tweaking of the falsity conditions”-approach to connexive logic, presented in sections 3.7 and 4.5, Omori 2019 interprets (A → ◊~B) in a variant of the modal logic BK from Odintsov and Wansing 2010 by suitably adjusting the falsity condition for implications (A → B), so that ~(A → B) is provably equivalent with (A → ◊~B).