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