TY - RPRT TI - The Guarded Fragment with Nested Equivalences AU - Oskar Fiuk PY - 2026 UR - https://arxiv.org/abs/2605.15072 ID - 2605.15072 ER -