T. Jarmużek and J. Malinowski, “Modal Boolean Connexive Logics: Semantics and Tableau Approach”, B Sect Log, vol. 48, no. 3, pp. 213–243, Oct. 2019, doi: 10.18778/0138-0680.48.3.05.