A set-theoretic translation method for polymodal logics
The paper presents a translation of mono- and polymodal logics into a rather weak first-order set theory. It is proved that the translation is an embedding for finitely axiomatizable logics which are complete with respect to Kripke semantics (but not necessarily first-order definable).
scientific article; zbMATH DE number 828192
scientific article