Description

• Title:
  Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic
• Creator:
  Karimi, Ahmad
• Description:
  Temporal logic is of importance in theoretical computer science for its application in formal verification, to state requirements of hardware or software systems. Linear temporal logic is an appropriate logical environment to formalize Yablo’s paradox which is seemingly non-self-referential and basically has a sequential structure. We give a brief review of Yablo’s paradox and its various versions. Formalization of these paradoxes yields some theorems in Linear Temporal Logic (LTL) for which we give syntactic proofs using an appropriate axiomatization of LTL.
• Object availability:
  free access
• Rights:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Date:
  2019.06.14
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  English
• Source:
  Logic and Logical Philosophy; Vol. 28 No. 4 (2019): December; 753-765;
  Logic and Logical Philosophy; Tom 28 Nr 4 (2019): grudzień; 753-765;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2019.020/17702
• Subject:
  non-self-referential paradox;
  Yablo’s paradox;
  linear temporal logic;
  syntactic proofs;
  03B44;
  03A05.
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2019.020
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  seek permission
• Type:
  text