Similar Items: Simulating reachability using first-order logic with applications to verification of linked data structures
- On the Satisfiability of Local First-Order Logics with Data
- All-Path Reachability Logic
- Petri Net Reachability Graphs: Decidability Status of First Order Properties
- On the strictness of the quantifier structure hierarchy in first-order logic
- The succinctness of first-order logic on linear orders
- Game semantics for first-order logic