Reyes G. E. and H. Zolfaghari (1996). Bi-Heyting Algebras, Toposes and
Modalities. Journal of Philosophical Logic 25. No.1 pp.25-43.
« Completeness results for intuitionistic and modal logic in a categorical setting • Fractional exponent functors and categories of differential equations »