11 citations · 39 across the 12 of their papers we have counts for
1 paper · 1 filter
Kexu Wang, Xishun Zhao
We extend the inflationary fixed-point logic, IFP, with a new kind of second-order quantifiers which have (poly-)logarithmic bounds. We prove that on ordered structures the new log…