It ain't necessarily so: Basic sequent systems for negative modalities.

Ori Lahav, Joo Marcos, Yoni Zohar

Browse the full AiML paper archive.