TY  - RPRT
TI  - Solving First-Order Fixed-Point Logics via a Least-to-Greatest Transformation Based on Game Semantics
AU  - Satoshi Kura
AU  - Hiroshi Unno
PY  - 2026
UR  - https://arxiv.org/abs/2607.10650
ID  - 2607.10650
ER  -