D. Glavaničová, T. Jarmużek, M. Klonowski, and P. Kulicki, “Tableaux for some deontic logics with the explicit permission operator”, B Sect Log, vol. 51, no. 2, pp. 281–295, Jun. 2022, doi: 10.18778/0138-0680.2022.11.