Grafting Modalities onto substructural implication systems (1996)

by Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
Venue:Studia Logica