Similar Items: The complexity of linear-time temporal logic over the class of ordinals
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- On the decidability and complexity of Metric Temporal Logic over finite words
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Linear Temporal Logic for Regular Cost Functions
- Two-Way Unary Temporal Logic over Trees
- Two Variable vs. Linear Temporal Logic in Model Checking and Games