Glavaničová, Daniela, et al. “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.