TY  - RPRT
TI  - Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
AU  - Tim S. Lyon
AU  - Eugenio Orlandelli
PY  - 2026
UR  - https://arxiv.org/abs/2604.18403
ID  - 2604.18403
ER  -