research
∙
05/19/2021
An Algebraic Characterisation of First-Order Logic with Neighbour
We give an algebraic characterisation of first-order logic with the neig...
research
∙
07/02/2019