1: \begin{abstract}

2:   We present \mso and \fo logics with predicates `between' and `neighbour' that

3:   characterise various fragments of the class of regular languages that are

4:   closed under the reverse operation.  The standard connections that exist

5:   between \mso and \fo logics and varieties of finite semigroups extend to this

6:   setting with semigroups extended with an involution.  The case is different

7:   for \fo with neighbour relation where we show that one needs additional

8:   equations to characterise the class.

9: \end{abstract}

10: