A Class of Generalised Quantifiers for k-Variable Logics

Janek Härtter, Martin Otto

We introduce k-quantifier logics -- logics with access to k-tuples of elements and very general quantification patterns for transitions between k-tuples. The framework is very expr…