மின்னஞ்சல் பதிவு: On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics