A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor

Abstract

The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.