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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Counterfactuals and semantic tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
Deontic logic and the possibility of moral conflict.Michael J. Almeida - 1990 - Erkenntnis 33 (1):57 - 71.
An analysis of Hansson's dyadic deontic logic.Wolfgang Spohn - 1975 - Journal of Philosophical Logic 4 (2):237 - 252.
An adaptive logic framework for conditional obligations and deontic dilemmas.Christian Straßer - 2010 - Logic and Logical Philosophy 19 (1-2):95-128.
A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
Deontic logics for prioritized imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
Beyond Language: Using Logic to Introduce New Philosophical Distinctions.Sven Ove Hansson - 2013 - Frontiers of Philosophy in China 8 (3):498-506.
Semantic Analyses for Dyadic Deontic Logic.David K. Lewis - 1974 - In Stig Kanger & Sören Stenlund (eds.), Logical theory and semantic analysis: essays dedicated to Stig Kanger on his fiftieth birthday. Boston: Reidel. pp. 1-14.
Why we need a relevant theory of conditionals.Edwin D. Mares - 1994 - Topoi 13 (1):31-36.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
Ten philosophical problems in deontic logic.Gabriella Pigozzi, J. Hansen & Leon van der Torre - manuscript
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Some results on dyadic deontic logic and the logic of preference.Lennart Åqvist - 1986 - Synthese 66 (1):95 - 110.
Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2013 - Theoria 80 (2):116-152.

Analytics

Added to PP
2013-11-24

Downloads
603 (#27,938)

6 months
33 (#100,386)

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

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.
Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
Deontic logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.

View all 16 references / Add more references