Description

• Title:
  Dyadic deontic logic and semantic tableaux
• Creator:
  Rönnedal, Daniel
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2010.03.30
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 18 No. 3-4 (2009); 221-252;
  Logic and Logical Philosophy; Tom 18 Nr 3-4 (2009); 221-252;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2009.011/992
• Subject:
  dyadic deontic logic;
  modal logic;
  semantic tableau;
  analytic
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2009.011
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text