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

Daniel Rönnedal
Stockholm University
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.
Keywords dyadic deontic logic  analytic  modal logic  semantic tableau
Categories (categorize this paper)
Reprint years 2010
DOI 10.12775/LLP.2009.011
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
Through your library

References found in this work BETA

A Completeness Theorem in Modal Logic.Saul A. Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Introduction to Non-Classical Logic.Graham Priest - 2001 - Cambridge and New York: Cambridge University Press.
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.
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

Citations of this work BETA

Add more citations

Similar books and articles

Counterfactuals and Semantic Tableaux.Daniel Rönnedal - 2009 - Logic and Logical Philosophy 18 (1):71-91.
An Analysis of Hansson's Dyadic Deontic Logic.Wolfgang Spohn - 1975 - Journal of Philosophical Logic 4 (2):237 - 252.
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.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.


Added to PP index

Total views
507 ( #17,978 of 2,519,659 )

Recent downloads (6 months)
22 ( #39,100 of 2,519,659 )

How can I increase my downloads?


My notes