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. © 1996 Kluwer Academic Publishers.
CITATION STYLE
Reyes, G. E., & Zolfaghari, H. (1996). BI-heyting algebras, toposes and modalities. Journal of Philosophical Logic, 25(1), 25–43. https://doi.org/10.1007/BF00357841
Mendeley helps you to discover research relevant for your work.