2 citations · 3 across the 6 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
Moving up and down in the generic multiverse
Joel David Hamkins, Benedikt Löwe
We give a brief account of 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 g…
math.LO2012★ 2 cited
Structural connections between a forcing class and its modal logic
Joel David Hamkins, George Leibman, Benedikt Löwe
The modal logic of forcing arises when one considers a model of set theory in the context of all its forcing extensions, interpreting necessity as "in all forcing extensions" and p…