activity
20042024
most citedComplexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers

184 citations · 617 across the 22 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.LO2024

The Adjacent Fragment and Quine's Limits of Decision

Bartosz Bednarczyk, Daumantas Kojelis, Ian Pratt-Hartmann

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