TY  - RPRT
TI  - One-variable fragments of first-order logics
AU  - Petr Cintula
AU  - George Metcalfe
AU  - Naomi Tokuda
PY  - 2023
DO  - 10.1017/bsl.2024.22
UR  - https://arxiv.org/abs/2310.15806
ID  - 2310.15806
ER  -