{"id":"arxiv/2607.25977","url":"https://arxiv.org/abs/2607.25977","tags":["math.LO"],"score":0,"title":"The Internal Modal Logic of Forcing","domain":"math.LO","source":"arxiv","authors":["Santiago Jockwich","Sourav Tarafder","Giorgio Venturi"],"reviews":0,"subject":"math.LO","summary":"We connect modal set theory with Boolean-valued models by developing an \\emph{internal} Kripke semantics for modal formulas whose atomic propositions are set-theoretic sentences. Given a complete Boolean algebra $B$, we view its elements as ``local perspectives on truth'' inside the Boolean-valued universe $V^{(B)}$ and interpret the modal operators using an accessibility relation $R$ on $B$ defined by \\emph{co-consistency} (equivalently, Boolean compatibility): $aRb$ iff $a\\wedge b\\neq 0$. Our central conceptual point is that, for set-theoretic sentences $p$, the internal modality $\\Diamond…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-28","reactions":{}}