Modal logics for Brane Calculus