TY  - RPRT
TI  - Interleaving Logic and Counting
AU  - Johan van Benthem
AU  - Thomas Icard
PY  - 2025
DO  - 10.1017/bsl.2023.30
UR  - https://arxiv.org/abs/2507.05219
ID  - 2507.05219
ER  -