Modalities combining two negations

In the context of positive logic expanded with the dual of intuitionistic negation, obtaining intuitionistic negation itself as a consequence, those two connectives allow to introduce modal concepts such as necessity and possibility. We study the resulting modal logic, paying attention to different extensions of it. We provide a syntactic approach and both algebraic and Kripke semantics.