On the Limits of Decision: the Adjacent Fragment of First-Order Logic

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

We define the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as arguments in atomic formulas. The adjacent fragment general…