TY - JOUR AU - Glavaničová, Daniela AU - Jarmużek, Tomasz AU - Klonowski, Mateusz AU - Kulicki, Piotr PY - 2022/06/23 Y2 - 2024/03/29 TI - Tableaux for some deontic logics with the explicit permission operator JF - Bulletin of the Section of Logic JA - B Sect Log VL - 51 IS - 2 SE - Research Article DO - 10.18778/0138-0680.2022.11 UR - https://czasopisma.uni.lodz.pl/bulletin/article/view/13227 SP - 281-295 AB - <p>In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly as in Andersonian-Kangerian reduction, which uses different intensional implications and constants.</p> ER -