Future temporal logic needs infinitely many modalities
From MaRDI portal
Publication:1877549
DOI10.1016/S0890-5401(03)00163-9zbMath1045.03019MaRDI QIDQ1877549
Alexander Rabinovich, Joram Hirschfeld
Publication date: 19 August 2004
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00163-9
03B44: Temporal logic
Related Items
No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic, \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\), On Almost Future Temporal Logics, Time-Bounded Verification, REASONING ABOUT TRANSFINITE SEQUENCES, Linear-time temporal logics with Presburger constraints: an overview ★
Cites Work