Tableaux for some deontic logics with the explicit permission operator

Bulletin of the Section of Logic 51 (2):281-295 (2022)
  Copy   BIBTEX


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.



    Upload a copy of this work     Papers currently archived: 76,346

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2020 - Logic Journal of the IGPL:Doi 10.1093/jigpal/jzaa016.
Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Logics of similarity and their dual tableaux. A survey.Joanna Golińska-Pilarek & Ewa Orlowska - 2008 - In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159.
Permission from an Input/Output Perspective.David Makinson & Leendert van der Torre - 2003 - Journal of Philosophical Logic 32 (4):391 - 416.


Added to PP

4 (#1,239,723)

6 months
4 (#184,255)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Daniela Vacek
Slovak Academy of Sciences
Tomasz Jarmużek
Nicolaus Copernicus University
Mateusz Klonowski
Nicolaus Copernicus University
1 more

Citations of this work

No citations found.

Add more citations

References found in this work

The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.
Free choice effects and exclusive disjunction.Melissa Fusco - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-15.

View all 9 references / Add more references