TY  - RPRT
TI  - A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic
AU  - Simone Martini
AU  - Andrea Masini
AU  - Margherita Zorzi
PY  - 2020
UR  - https://arxiv.org/abs/2001.02029
ID  - 2001.02029
ER  -