Encoding modal logics in logical frameworks (1998)

by A Avron, F Honsell, M Miculan, C Paravano
Venue:Studia Logica