Similar Items: The Complexity of Generalized Satisfiability for Linear Temporal Logic
- The complexity of linear-time temporal logic over the class of ordinals
- Satisfiability Games for Branching-Time Logics
- On the Satisfiability of Local First-Order Logics with Data
- Linear Temporal Logic for Regular Cost Functions
- Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership