"A uniform framework for substructural logics with modalities."

Björn Lellmann, Carlos Olarte, Elaine Pimentel (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics