Description

• Title:
  Quantified temporal alethic-deontic logic
• Creator:
  Rönnedal, Daniel
• Description:
  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.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2014.08.02
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  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
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2014.016/4147
• Subject:
  Quantified modal logic;
  T × W logics;
  temporal logic;
  deontic logic;
  semantic tableaux;
  Barcan formulas;
  possibilism;
  eternalism;
  actualism;
  presentism;
  Graham Priest
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2014.016
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text