Encoding Modal Logics in Logical Frameworks (1997)

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