Modal Measurable Logics via a Modal Loomis-Sikorski Representation Theorem

Nick Bezhanishvili, Jim de Groot, Lawrence S. Moss

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…