T. Jarmużek and M. Klonowski, “On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach”, LLP, vol. 29, no. 3, pp. 335–380, Jun. 2020.