9 citations · 21 across the 13 of their papers we have counts for
1 paper · 1 filter
Fausto Barbero
A dichotomy result of Sevenster (2014) completely classified the quantifier prefixes of regular Independence-Friendly (IF) logic according to the patterns of quantifier dependence…