Non-normal modalities in variants of Linear Logic

Daniele Porello, Nicolas Troquard

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, w…