Logic Column 11: The Finite and the Infinite in Temporal Logic
| dc.creator | Pucella, Riccardo | |
| dc.date | 2005-02-05 | |
| dc.date | 2005-04-24 | |
| dc.date.accessioned | 2026-07-07T03:22:29Z | |
| dc.date.available | 2026-07-07T03:22:29Z | |
| dc.description | This article examines the interpretation of the LTL temporal operators over finite and infinite sequences. This is used as the basis for deriving a sound and complete axiomatization for Caret, a recent temporal logic for reasoning about programs with nested procedure calls and returns. | |
| dc.description | 14 pages | |
| dc.identifier | https://arxiv.org/abs/cs/0502031 | |
| dc.identifier | http://arxiv.org/abs/cs/0502031 | |
| dc.identifier | SIGACT News, 36(1), pp. 86-99, 2005 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/32617 | |
| dc.subject | Logic in Computer Science | |
| dc.subject | F.4.1; F.3.1 | |
| dc.title | Logic Column 11: The Finite and the Infinite in Temporal Logic | |
| dc.type | text |