TY  - RPRT
TI  - Nested Sequents for First-Order Modal Logics via Reachability Rules
AU  - Tim S. Lyon
PY  - 2023
UR  - https://arxiv.org/abs/2210.00789
ID  - 2210.00789
ER  -