Bi-Heyting algebras, toposes and modalities. - Gonzalo E. Reyes; Houman Zolfaghari (J. Philos. Log., 1996)