Polymodal Logic; translation methods; set theory; theorem proving.

A set-theoretic translation method for polymodal logics

The paper presents a set-theoretic translation method for polymodal logics that reduces derivability in a large class of propositional polymodal logics to derivability in a very weak first-order set theory Ω. Unlike most existing translation methods, …