set-theoretic translation methods; modal logics; set theory; deduction systems

The paper presents a set-theoretic translation method for polymodal logics that reduces the derivability problem of a large class of propositional polymodal logics to the derivability problem of a very weak first-order set theory Omega. Unlike most …