Encoding Modal Logics in Logical Frameworks. - Arnon Avron; Furio Honsell; Marino Miculan; Cristian Paravano (Stud Logica, 1998)