The Decision Problem for Regular First-Order Theories

Umang Mathur, David Mestel, Mahesh Viswanathan

The \emph{Entscheidungsproblem}, or the classical decision problem, asks whether a given formula of first-order logic is satisfiable. In this work, we consider an extension of this…