TY  - RPRT
TI  - On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
AU  - Rajeev Gore
AU  - Linda Postniece
AU  - Alwen F Tiu
PY  - 2011
DO  - 10.2168/lmcs-7(2:8)2011
UR  - https://arxiv.org/abs/1103.5286
ID  - 1103.5286
ER  -