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.