[bibtex key=HamkinsLoewe2008:TheModalLogicOfForcing]
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 naturally formulated with modal logic. We aim to do for forceability what Solovay did for provability. A set theoretical assertion
Follow-up article: Structural connections between a forcing class and its modal logic
Pingback: The modal logic of forcing, London 2011
Pingback: Structural connections between a forcing class and its modal logic
Pingback: Moving up and down in the generic multiverse | Joel David Hamkins