Jarmużek T, Malinowski J. Modal Boolean Connexive Logics: Semantics and Tableau Approach. B Sect Log. 2019;48(3):213-243. doi:10.18778/0138-0680.48.3.05