TY  - RPRT
TI  - From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
AU  - Simone Martini
AU  - Andrea Masini
AU  - Margherita Zorzi
PY  - 2021
DO  - 10.1145/3461661
UR  - https://arxiv.org/abs/2007.11875
ID  - 2007.11875
ER  -