{"id":"arxiv/2606.31862","url":"https://arxiv.org/abs/2606.31862","tags":["math.LO","cs.LO"],"score":0,"title":"Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem","domain":"math.LO","source":"arxiv","authors":["Nick Bezhanishvili","Jim de Groot","Lawrence S. Moss"],"reviews":0,"subject":"math.LO","summary":"We investigate a modal extension of the infinitary classical logic with countable meets and joins, formulated with an eye toward measure-theoretic work in dynamical systems and in point-free ergodic theory. We define a modal formalism in this language, which we call modal measurable logics. We also introduce a Kripke-like semantics for these logics in measurable spaces taking a designated modal sigma-ideal into consideration. Using a restriction of Jonsson-Tarski duality and a modal extension of the Loomis-Sikorski theorem, we prove completeness of modal measurable logics with respect to…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}