Deductive Systems and the Decidability Problem for Hybrid Logics