Glavaničová, D., T. Jarmużek, M. Klonowski, and P. Kulicki. “Tableaux for Some Deontic Logics With the Explicit Permission Operator”. Bulletin of the Section of Logic, vol. 51, no. 2, June 2022, pp. 281-95, doi:10.18778/0138-0680.2022.11.