Hypersequent calculi for some intermediate logics with bounded Kripke models