Similar Items: Game semantics for first-order logic
- The succinctness of first-order logic on linear orders
- Extensional Semantics for Higher-Order Logic Programs with Negation
- On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
- First-Order and Temporal Logics for Nested Words
- Lindstrom theorems for fragments of first-order logic
- Separating Regular Languages with First-Order Logic