> In a recent post to FOM, Prof. Scott suggests using Boolean-valued models > for classical ZFC to investigate modal set theory. A paper that might be relevant is Hamkins + Lowe `The Modal Logic of Forcing' http://www.illc.uva.nl/Publications/ResearchReports/PP-2005-26.text.pdf -- Andrew Bacon http://users.ox.ac.uk/~lady1900