Future temporal logic needs infinitely many modalities
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1304997 (Why is no real title available?)
- scientific article; zbMATH DE number 1927553 (Why is no real title available?)
- scientific article; zbMATH DE number 1759449 (Why is no real title available?)
- scientific article; zbMATH DE number 1424034 (Why is no real title available?)
- An application of games to the completeness problem for formalized theories
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Monadic Logic of Order over Naturals has no Finite Base
- “Sometimes” and “not never” revisited
Cited in
(12)- No future without (\textit{a hint of}) past. A finite basis for `almost future' temporal logic
- REASONING ABOUT TRANSFINITE SEQUENCES
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
- A finite basis for `almost future' temporal logic over the reals
- On almost future temporal logics
- Time-Bounded Verification
- An unusual temporal logic
- Linear-time temporal logics with Presburger constraints: an overview
- Extending Kamp's Theorem to Model Time Granularity
- Monadic Logic of Order over Naturals has no Finite Base
- A proof of Stavi's theorem
- On Hamblin's 15 tense theorem.
This page was built for publication: Future temporal logic needs infinitely many modalities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1877549)
