On the Satisfiability 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. Data values can be compared wrt.\ equality. As the…