I happen to have in front of me Charles Parsons' book of essays _Mathematics in Philosophy_, the 11th chapter of which is titled "Sets and Modality". I haven't finished it, but it seems to be treating set theories with modal operators in the object language. Free logic is also involved somehow, but I don't really understand what is going on yet. Kevin Watkins