Description

• Tytuł:
  Dyadic deontic logic and semantic tableaux
• Twórca:
  Rönnedal, Daniel
• Opis:
  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.
• Dostępność obiektu:
  free access
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2010.03.30
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2009.011/992
• Temat i słowa kluczowe:
  dyadic deontic logic;
  modal logic;
  semantic tableau;
  analytic
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2009.011
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text