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

Ori Lahav, João Marcos, Yoni Zohar

We look at non-classical negations and their corresponding adjustment connectives from a modal viewpoint, over complete distributive lattices, and apply a very general mechanism in…