A Modular Presentation of Modal Logics in a Logical Framework (0)

by D Basin, S Matthews, L Vigan`o
Venue:In Proc. of the Tbilisi Symposium on Language, Logic and Computation, CSLI