Functional Translation and Second-Order Frame Properties of Modal Logics (1995)

by Hans Jürgen Ohlbach , Renate A. Schmidt
Citations:22 - 15 self