Proof theory for quantified monotone modal logics