The Modal Logic of Forcing Joel David Hamkins, Benedikt Löwe Abstract: In this paper, we determine the class of ZFC-provable statements of modal logic (under the interpretation of diamond as 'there is a forcing extension such that') to be S4.2. Keywords: S4.2, forcing, modal logic, Jankov-Fine formula