The modal logic of forcing

Joel David Hamkins, Benedikt Loewe

What are the most general principles in set theory relating forceability and truth? As with Solovay's celebrated analysis of provability, both this question and its answer are natu…