Glavaničová D, Jarmużek T, Klonowski M, Kulicki P. Tableaux for some deontic logics with the explicit permission operator. B Sect Log. 2022;51(2):281-295. doi:10.18778/0138-0680.2022.11