Natural Deduction, Hybrid Systems and Modal Logics [electronic resource]