Dyadic deontic logic and semantic tableaux

Logic and Logical Philosophy 18 (3-4):221-252 (2009)
  Copy   BIBTEX

Abstract

The purpose of this paper is to develop a class of semantic tableau systems for some dyadic deontic logics. We will consider 16 different pure dyadic deontic tableau systems and 32 different alethic dyadic deontic tableau systems. Possible world semantics is used to interpret our formal languages. Some relationships between our systems and well known dyadic deontic logics in the literature are pointed out and soundness results are obtained for every tableau system. Completeness results are obtained for all 16 pure dyadic deontic systems and for 16 alethic dyadic deontic systems.

Categories

Keywords

Reprint years

2010

DOI

10.12775/llp.2009.011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,302

External links

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

Through your library

My notes

Similar books and articles

Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox.Daniel Rönnedal - 2018 - Logic and Logical Philosophy 27 (1):3-52.
Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox.Daniel Rönnedal - 2018 - Logic and Logical Philosophy 27 (1):3-25.
Counterfactuals in Temporal Alethic-Deontic Logic.Rönnedal Daniel - 2016 - South American Journal of Logic 2 (1):57-81.
Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Quantified Counterfactual Temporal Alethic-Deontic Logic.Daniel Rönnedal - 2017 - South American Journal of Logic 3 (1):145–172.
Temporal alethic–deontic logic and semantic tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
Some results on dyadic deontic logic and the logic of preference.Lennart Åqvist - 1986 - Synthese 66 (1):95 - 110.
Conditional Obligations in Justification Logic.Federico L. G. Faroldi, Atefeh Rohani & Thomas Studer - 2023 - In Helle Hvid Hansen, Andre Scedrov & Ruy J. G. B. De Queiroz, Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings. Springer Nature Switzerland. pp. 178-193.
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - 2020 - Logic and Logical Philosophy 29 (3):335–380.
An adaptive logic framework for conditional obligations and deontic dilemmas.Christian Straßer - 2010 - Logic and Logical Philosophy 19 (1-2):95-128.

Analytics

Added to PP
2013-11-24

Downloads
652 (#43,016)

6 months
18 (#145,294)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel Rönnedal
Stockholm University

Citations of this work

Add more citations

References found in this work

Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.

View all 15 references / Add more references