Finite Variable Counting Logics with Restricted Requantification

Simon Raßmann, Georg Schindling, Pascal Schweitzer

Counting logics with a bounded number of variables form one of the central concepts in descriptive complexity theory. Although they restrict the number of variables that a formula…