Similar Items: Two Variable vs. Linear Temporal Logic in Model Checking and Games
- Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
- Two-variable Logic with Counting and a Linear Order
- The parameterized space complexity of model-checking bounded variable first-order logic
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- Linear Temporal Logic for Regular Cost Functions
- Two-Variable Logic with Two Order Relations