A Proof-Theoretical Approach to Some Extensions of First Order Quantification. - Loïc Allègre; Ophélie Lacroix; Christian Retoré (ARQNL@IJCAR, 2024)