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