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