Two-Variable Logic with Arbitrarily Many Successor Relations

Jakub Michaliszyn, Piotr Witkowski

We study two-variable first-order logic with a finite, input-dependent number of distinguished successor relations and arbitrary additional unary and binary predicates. Each distin…