2000 character limit reached
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
Published 14 Jun 2013 in cs.LO | (1306.3418v1)
Abstract: The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.