Your search returned the following document:

1. A Modular Presentation of Modal Logics in a Logical Framework
   David A. Basin, Seán Matthews, and Luca Viganò
   In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, Tbilisi, Georgia, October 1995, 1998, 293-307