{"id":"arxiv/2609.07330","url":"https://arxiv.org/abs/2609.07330","tags":["math.LO"],"score":0,"title":"A Set-Theoretic Translation of Modal Logic via Forcing","domain":"math.LO","source":"arxiv","authors":["Somayeh Chopoghloo","Mohammad Golshani"],"reviews":0,"subject":"math.LO","summary":"We develop a set-theoretic translation of a normal modal extension $T_m$ of a recursively axiomatizable first-order theory $T$. We first pass to the Henkin expansion of the underlying language by adding witness constants and work with the sentence algebra of this expansion. The translation is constructed using the corresponding Lindenbaum-Tarski algebra, the Stone space of its ultrafilters, and quotient forcing by a $σ$-ideal of Borel sets; in particular, the meager ideal yields Cohen forcing and the null ideal yields the random forcing. In a Boolean-valued universe, we interpret the modal…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-07","reactions":{}}