Quine's Fluted Fragment Revisited

I. Pratt-Hartmann, W. Szwast, L. Tendera

We study the fluted fragment, a decidable fragment of first-order logic with an unbounded number of variables, originally identified in 1968 by W.V. Quine. We show that the satisfi…