Two variable logic with ultimately periodic counting

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…