Functional translation and second-order frame properties of modal logics (1997)

by H J Ohlbach, R A Schmidt
Venue:Journal of Logic and Computation