Vol-3874⫷ Vol-3875 ⫸Vol-3876
urn:nbn:de:0074-3875-0


Vol-3875/ARQNL2024_paper7⫷Vol-3875/ARQNL2024_paper8
Loïc AllègreOphélie LacroixChristian Retoré

A Proof-Theoretical Approach to Some Extensions of First Order Quantification