Labelled Modal Logics: Quantifiers