Semantics for Quantified Modal Logic