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.