Similar Items: On the Satisfiability of Local First-Order Logics with Data
- Satisfiability Games for Branching-Time Logics
- The Complexity of Generalized Satisfiability for Linear Temporal Logic
- The succinctness of first-order logic on linear orders
- Game semantics for first-order logic
- Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
- Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption