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

Authors
Daniel Rönnedal
Stockholm University
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.
Keywords dyadic deontic logic  analytic  modal logic  semantic tableau
Categories (categorize this paper)
Reprint years 2010
DOI 10.12775/LLP.2009.011
Options
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: 59,759
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.
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 University Press.
Deontic Logic.G. H. von Wright - 1951 - Mind 60 (237):1-15.

View all 15 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.

Analytics

Added to PP index
2013-11-24

Total views
440 ( #17,182 of 2,432,622 )

Recent downloads (6 months)
1 ( #465,136 of 2,432,622 )

How can I increase my downloads?

Downloads

My notes