Arity hierarchy for temporal logics
From MaRDI portal
Publication:944387
DOI10.1016/j.tcs.2008.06.006zbMath1151.03010MaRDI QIDQ944387
Publication date: 16 September 2008
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.06.006
Cites Work
- Fairness and related properties in transition systems - a temporal logic to deal with fairness
- The monadic theory of order
- An infinite hierarchy of temporal logics over branching time
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\)
- Uniformization, choice functions and well orders in the class of trees
- The first order properties of products of algebraic systems
- The decision problem for branching time logic
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- “Sometimes” and “not never” revisited
- Expressive completeness of temporal logic of trees
- Monadic Logic of Order over Naturals has no Finite Base
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item