 Negation as unnecessity gives rise to a dual lopsided kite of negations that can be combined with the lopsided kite into a “united” kite of negations, see Shramko 2005, Dunn and Zhou 2005, and  Section 2.4.  An even richer inclusion diagram of negations can be found in Ripley 2009.