An Algebraic Characterisation of First-Order Logic with Neighbour

Amaldev Manuel, Dhruv Nevatia

We give an algebraic characterisation of first-order logic with the neighbour relation, on finite words. For this, we consider languages of finite words over alphabets with an invo…