Tableaux for some deontic logics with the explicit permission operator

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

Abstract

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 102,141

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

Dyadic deontic logic and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (3-4):221-252.
Normative properties of sequential actions.Fengkui Ju & Karl Nygren - 2023 - In Juliano Maranhão, Clayton Peterson, Christian Straßer & van der Torre Leendert (eds.), Deontic Logic and Normative Systems: 16th International Conference (DEON2023, Trois-Rivières). College Publications. pp. 139-157.
Norm Performatives and Deontic Logic.Rosja Mastop - 2011 - European Journal of Analytic Philosophy 7 (2):83-105.
Doing Well Enough in an Andersonian-Kangerian Framework.Paul McNamara - 1999 - In Henry Prakken & Paul McNamara (eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science. Amsterdam/Oxford/Tokyo/Washington DC: IOS Press. pp. 181-198.

Analytics

Added to PP
2022-08-27

Downloads
24 (#926,962)

6 months
7 (#755,958)

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.
Relatedness and implication.Richard L. Epstein - 1979 - Philosophical Studies 36 (2):137 - 173.

View all 10 references / Add more references