Description

• Tytuł:
  Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic
• Twórca:
  Karimi, Ahmad
• Opis:
  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.
• Dostępność obiektu:
  free access
• Prawa:
  Prawa autorskie (c) 2019 Logic and Logical Philosophy
• Data:
  2019.06.14
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  English
• Źródło:
  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
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2019.020/17702
• Temat i słowa kluczowe:
  non-self-referential paradox;
  Yablo’s paradox;
  linear temporal logic;
  syntactic proofs;
  03B44;
  03A05.
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2019.020
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  seek permission
• Rodzaj zawartości:
  text