Temporal Truth in the Limit: Yablo’s Paradox in \(LTL_f\) and over Potentially Infinite Traces
摘要
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.