On two-variable guarded fragment logic with expressive local Presburger constraints

Chia-Hsuan Lu, Tony Tan

We consider the extension of the two-variable guarded fragment logic with local Presburger quantifiers. These are quantifiers that can express properties such as "the number of inc…