SYNTACTIC PROOFS FOR YABLO'S PARADOXES IN TEMPORAL LOGIC.
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 basi...
| Publicado en: | Logic & Logical Philosophy Vol. 28; no. 4; pp. 753 - 766 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
Dec2019
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=140284329&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 140284329 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: Dec2019 vid: 28 iid: 4 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 140284329 10.12775/LLP.2019.020 ppf: 753 ppct: 13 formats: fmt: @attributes: type: P size: 692KB tig: atl: SYNTACTIC PROOFS FOR YABLO'S PARADOXES IN TEMPORAL LOGIC. aug: au: Karimi, Ahmad affil: Department of Mathematics Behbahan Khatam Alanbia University of Technology Behbahan, Iran su: Paradox Logic Evidence Application software Computer logic Systems software Modal logic sug: subj: Paradox Logic Evidence Application software Computer logic Systems software Modal logic keyword: linear temporal logic non-self-referential paradox syntactic proofs Yablo's paradox ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2019 holdings: @attributes: islocal: N |
|---|