TY  - RPRT
TI  - A Fine-Grained Dichotomy for Bounded-Variable Query Evaluation: The Calculus of Relations, a Boolean Modal Logic, and One-Variable Counting Logic
AU  - Yoshiki Nakamura
AU  - Yuya Uezato
PY  - 2026
DO  - 10.1145/3850130
UR  - https://arxiv.org/abs/2610.04573
ID  - 2610.04573
ER  -