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. https://doi.org/10.18778/0138-0680.2022.11.