TY  - RPRT
TI  - A Class of Generalised Quantifiers for k-Variable Logics
AU  - Janek Härtter
AU  - Martin Otto
PY  - 2026
UR  - https://arxiv.org/abs/2602.01216
ID  - 2602.01216
ER  -