Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II