Functional Translation and Second-Order Frame Properties of Modal Logics