 W. V. O Quine [1953] once argued that it is not coherent for quantifiers to bind variables inside modal operators, but opinion on this matter has since changed considerably (see, for example, Barcan [1990]). There is now a thriving industry of developing modal logics to capture various kinds of modality and temporal operators. See the entry on  modal logic.  