TY  - RPRT
TI  - Two-Variable Logic with Arbitrarily Many Successor Relations
AU  - Jakub Michaliszyn
AU  - Piotr Witkowski
PY  - 2026
UR  - https://arxiv.org/abs/2610.09758
ID  - 2610.09758
ER  -