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, 281-295.