2 papers
cs.LO2021
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…
cs.FL2019
Logics for Reversible Regular Languages and Semigroups with Involution
Paul Gastin, Amaldev Manuel, R. Govind
We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse opera…