Modal logics with propositional constants