In this chapter we compare the hybrid-logical natural deduction system given in Section 2.2 to a labelled natural deduction system for modal logic. The chapter is structured as follows. In the first section of the chapter we describe the labelled natural deduction system under consideration and in the second section we define a translation from this system to the hybrid-logical natural deduction system given in Section 2.2. In the third section we compare reductions in the two systems. The material in this chapter is taken from Braüner(2007).