Glavaničová, D. et al. 2022. Tableaux for some deontic logics with the explicit permission operator. Bulletin of the Section of Logic. 51, 2 (Jun. 2022), 281–295. DOI:https://doi.org/10.18778/0138-0680.2022.11.