General Characterization Results on Intuitionistic Modal Propositional Logics