Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Ohlbach, H. J., & Schmidt, R. A. (1997). Functional Translation and Second-Order Frame Properties of Modal Logics. Journal of Logic and Computation, 7(5), 581-603. doi:10.1093/logcom/7.5.581.