TY  - RPRT
TI  - Finite Satisfiability of Two-Variable Logic with Arbitrarily Many Successors
AU  - Artur Jeż
AU  - Jakub Michaliszyn
AU  - Piotr Witkowski
PY  - 2026
UR  - https://arxiv.org/abs/2610.19943
ID  - 2610.19943
ER  -