Description

• Title:
  Tableaux for some deontic logics with the explicit permission operator
• Creator:
  Glavaničová, Daniela;
  Jarmużek, Tomasz;
  Klonowski, Mateusz;
  Kulicki, Piotr
• Contributor:
  Glavaničová, Daniela - Comenius University in Bratislava, Faculty of Arts, Department of Logic and Methodology of Sciences, 813 64, Gondova 2, Bratislava, Slovakia;
  Jarmużek, Tomasz - Nicolaus Copernicus University in Toruń, Faculty of Philosophy and Social Sciences, Department of Logic, 87-100, Stanisława Moniuszki 16/20 Toruń, Poland;
  Klonowski, Mateusz - Nicolaus Copernicus University in Toruń, Faculty of Philosophy and Social Sciences, Department of Logic, 87-100, Stanisława Moniuszki 16/20 Toruń, Poland;
  Kulicki, Piotr - The John Paul II Catholic University of Lublin, Institute of Philosophy, Department of the Foundations of Computer Science, 20-950, Aleje Raclawickie 14, Lublin, Poland;
  Glavaničová, Daniela - daniela.glavanicova@gmail.com;
  Jarmużek, Tomasz - tomasz.jarmuzek@umk.pl;
  Klonowski, Mateusz - mateusz.klonowski@umk.pl;
  Kulicki, Piotr - kulicki@kul.pl
• Description:
  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.
• Object availability:
  free access
• Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
• Date:
  2022.08.25;
  2022.06.23
• Type:
  Other
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;2;
  51
• Subject:
  explicit permission;
  free choice;
  relating semantics
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/42929 ;
  2449-836X;
  10.18778/0138-0680.2022.11
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  other