Model theory with nominal sets

Using nominal sets, we define a uniform approach to logics over data
words, data trees, data graphs and so on. The key technical result is
that, in the equality symmetry, formulas that quantify over data
values are equivalent to formulas that do not quantify over data
values.