Similar Items: A First-Order Complete Temporal Logic for Structured Context-Free Languages
- First-Order and Temporal Logics for Nested Words
- Separating Regular Languages with First-Order Logic
- On the strictness of the quantifier structure hierarchy in first-order logic
- A first-order logic characterization of safety and co-safety languages
- A Complete Axiomatisation for Quantifier-Free Separation Logic
- Tree Languages Defined in First-Order Logic with One Quantifier Alternation