2000 character limit reached
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor (1306.3418v1)
Published 14 Jun 2013 in cs.LO
Abstract: The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.