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