Encoding Modal Logics in Logical Frameworks (1997)

by Arnon Avron , Furio Honsell , Marino Miculan , Cristian Paravano
Venue:Studia Logica
Citations:17 - 10 self