[bibtex key=HamkinsLoewe2013:MovingUpAndDownInTheGenericMultiverse]

In this extended abstract we investigate the *modal logic of the generic multiverse,* which is a bimodal logic with operators corresponding to the relations “is a forcing extension of”‘ and “is a ground model of”. The fragment of the first relation is the *modal logic of forcing* and was studied by us in earlier work. The fragment of the second relation is the *modal logic of grounds* and will be studied here for the first time. In addition, we discuss which combinations of modal logics are possible for the two fragments.

The main theorems are as follows:

**Theorem.** If ZFC is consistent, then there is a model of ZFC whose modal logic of forcing and modal logic of grounds are both S4.2.

**Theorem**. If the theory “$L_\delta\prec L+\delta$ is inaccessible” is consistent, then there is a model of set theory whose modal logic of forcing is S4.2 and whose modal logic of grounds is S5.

**Theorem**. If the theory “$L_\delta\prec L+\delta$ is inaccessible” is consistent, then there is a model of set theory whose modal logic of forcing is S5 and whose modal logic of grounds is S4.2.

**Theorem**. There is no model of set theory such that both its modal logic of forcing and its modal logic of grounds are S5.

The current article is a brief extended abstract (10 pages). A fuller account with more detailed proofs and further information will be provided in a subsequent articl

eprints: ar$\chi$iv | NI12059-SAS | Hamburg #450