 The combination of propositional modal logic and pure quantificational logic is often called quantified modal logic and is discussed in section 13 of the entry on  modal logic  and the entry on the  possibilism-actualism debate.  This combination immediately delivers what we may call the necessity of being: