We introduce modal propositional substructural logics 
with strong negation, 
and prove the completeness theorems 
(with respect to  Kripke models) for these logics.