N. Kamide, “Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality”, LLP, vol. 28, no. 3, pp. 481–511, Jan. 2019.