10 citations · 23 across the 13 of their papers we have counts for
1 paper · 1 filter
Michael Benedikt, Egor V. Kostylev, Tony Tan
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We s…