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.