TY  - RPRT
TI  - A proof-theoretical approach to some extensions of first order quantification
AU  - Loïc Allègre
AU  - Ophélie Lacroix
AU  - Christian Retoré
PY  - 2024
UR  - https://arxiv.org/abs/2407.09865
ID  - 2407.09865
ER  -