Modal Logics and Multiverses
Alexander C. Block, Benedikt Löwe

Abstract:
We provide a general framework to study modal logics of multiverses and survey the results on the modal logic of forcing, the modal logic of grounds, and the modal logic of inner models. We also provide new results on the modal logic of symmetric extensions.