On the Existential Fragments of Local First-Order Logics with Data

Benedikt Bollig, Arnaud Sangnier, Olivier Stietel

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain which can be compared wrt. equality. As the satisfi…