TY  - RPRT
TI  - A parametrised axiomatization for a large number of restricted second-order logics
AU  - Guillermo Badia
AU  - John Lane Bell
PY  - 2023
UR  - https://arxiv.org/abs/2207.02709
ID  - 2207.02709
ER  -