The aim of this paper is to introduce a new approach to the modal operators of necessity and possibility. This approach is based on the existence of two negations in certain lattices that we call bi-Heyting algebras. Modal operators are obtained by iterating certain combinations of these negations and going to the limit. Examples of these operators are given by means of graphs.

Since antiquity two different negations in natural languages have been noted: predicate negation and predicate term negation . The extensive literature offers no models. We propose category-theoretic models with two distinct negation operators, neither of them in general Boolean. We study combinations of the two and sentential counterparts of each. We emphasize the relevance of our work for the theory of cognition.