A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
arXiv:1306.3418
Abstract
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.