Natural Deduction, Hybrid Systems and Modal Logics