(1)
Kamide, N. Bi-Classical Connexive Logic and Its Modal Extension: Cut-Elimination, Completeness and Duality. LLP 2019, 28, 481-511.