1 paper
Bartosz Jan Bednarczyk, Daumantas Kojelis, Krzysztof Szymański
We study the two-variable fragment FO^2 of first-order logic over two-dimensional structures. Formulae may employ two linear orders <=_1, <=_2, their successor relations S_1, S_2,…