Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms