The B4-Modalized Propositional Logic