A uniform framework for substructural logics with modalities.

Bjrn Lellmann, Carlos Olarte, Elaine Pimentel

Browse the full LPAR paper archive.