. Modal logic; modal deduction; translation methods; set theory; second-order logic.

Modal deduction in second-order logic and set theory. I

We investigate modal deduction through translation into standard logic and set theory. In a previous paper, using a set-theoretic translation method, we proved that derivability in the minimal modal logic Ks corresponds precisely to derivability in a …