Opis

• Tytuł:
  Quantified temporal alethic-deontic logic
• Twórca:
  Rönnedal, Daniel
• Opis:
  The purpose of this paper is to describe a set of quantified temporal alethic-deontic systems, i.e., systems that combine temporal alethicdeontic logic with predicate logic. We consider three basic kinds of systems: constant, variable and constant and variable domain systems. These systems can be augmented by either necessary or contingent identity, and every system that includes identity can be combined with descriptors. All logics are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T × W semantics, to characterize them semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect to their semantics.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2014.08.02
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 24 No. 1 (2015): March; 19–59;
  Logic and Logical Philosophy; Tom 24 Nr 1 (2015): March; 19–59;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2014.016/4147
• Temat i słowa kluczowe:
  Quantified modal logic;
  T × W logics;
  temporal logic;
  deontic logic;
  semantic tableaux;
  Barcan formulas;
  possibilism;
  eternalism;
  actualism;
  presentism;
  Graham Priest
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2014.016
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty