Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces / Godziszewski, M.T., Catta, D., Murano, A.. - 15685:(2024), pp. 110-128. [10.1007/978-3-031-93930-3\_7]
Temporal Truth in the Limit: Yablo's Paradox in LTLf and over Potentially Infinite Traces
Michal Tomasz Godziszewski
Primo
;Davide Catta
Secondo
;Aniello Murano
Supervision
2024
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


