In this paper we investigate the relation of temporal logics and properties of Yablo sentences. We provide a (first in the literature) framework for finitistic theory of potential infinity over temporal logic. We introduce the FM-domains over \(LTL_f\) , and define sl-theories over \(LTL_f\) , providing a first notion of theories true in the limit over finite traces in temporal logic. Furthermore, also for the first time in the literature, we perform the analysis of Yablo sentences (as formalized in temporal logic vocabulary) in \(LTL_f\) , i.e., the Linear Temporal Logic over finite traces. On top of that, as a litmus test for this novel theory, we provide the analysis of how Yablo’s paradox of LTL is solved not only in \(LTL_f\) , but also in the finitistic theory of potential infinity over temporal logic.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Temporal Truth in the Limit: Yablo’s Paradox in  \(LTL_f\) and over Potentially Infinite Traces

  • Michał Tomasz Godziszewski,
  • Davide Catta,
  • Aniello Murano

摘要

In this paper we investigate the relation of temporal logics and properties of Yablo sentences. We provide a (first in the literature) framework for finitistic theory of potential infinity over temporal logic. We introduce the FM-domains over \(LTL_f\) , and define sl-theories over \(LTL_f\) , providing a first notion of theories true in the limit over finite traces in temporal logic. Furthermore, also for the first time in the literature, we perform the analysis of Yablo sentences (as formalized in temporal logic vocabulary) in \(LTL_f\) , i.e., the Linear Temporal Logic over finite traces. On top of that, as a litmus test for this novel theory, we provide the analysis of how Yablo’s paradox of LTL is solved not only in \(LTL_f\) , but also in the finitistic theory of potential infinity over temporal logic.