A modular presentation of modal logics in a logical framework (1995)

by D Basin, S Matthews, L Viganò
Venue:In Proceedings of the 1995 Isabelle Users Workshop