modal logics; first-order logics; automatic translations of modal logics; set theory

We describe and analyze techniques, other than the standard relational/functional methods, for translating validity problems of modal logics into first-order languages. For propositional modal logics we summarize the Box-as-Pow method, a complete and …