TY  - RPRT
TI  - Definability of some $k$-ary Relations Over Second Order kinds of Logics
AU  - Simone Costa
AU  - Marco Dalai
AU  - Stefano Della Fiore
AU  - Anita Pasotti
PY  - 2025
UR  - https://arxiv.org/abs/2509.13063
ID  - 2509.13063
ER  -