Glavaničová, Daniela, Tomasz Jarmużek, Mateusz Klonowski, and Piotr Kulicki. “Tableaux for Some Deontic Logics With the Explicit Permission Operator”. Bulletin of the Section of Logic 51, no. 2 (June 23, 2022): 281–295. Accessed April 25, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/13227.