Kamide, N. 2019. Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality. Logic and Logical Philosophy. 28, 3 (Jan. 2019), 481–511. DOI:https://doi.org/10.12775/LLP.2019.002.