Glavaničová D, Jarmużek T, Klonowski M, Kulicki P. Tableaux for some deontic logics with the explicit permission operator. B Sect Log [Internet]. 2022 Jun. 23 [cited 2024 Apr. 19];51(2):281-95. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/13227