Glavaničová, Daniela, Tomasz Jarmużek, Mateusz Klonowski, and Piotr Kulicki. 2022. “Tableaux for Some Deontic Logics With the Explicit Permission Operator”. Bulletin of the Section of Logic 51 (2):281-95. https://doi.org/10.18778/0138-0680.2022.11.