Finite Variable Counting Logics with Restricted Requantification.

Simon Ramann, Georg Schindling, Pascal Schweitzer

Browse the full CSL paper archive.