1. Adams, E. (1965). The logic of conditionals. Inquiry, 8(1-4), 166–197.
2. Alechina, N., Mendler, M., De Paiva, V., Ritter, E. (2001). Categorical and Kripke semantics for constructive S4 modal logic. In Fribourg, L. (Ed.) Computer Science Logic (pp. 292–307). Berlin: Springer.
3. Arlo-Costa, H., Egré, P., Rott, H. (2019). The logic of conditionals. In Zalta, E.N. (Ed.) The stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, summer 2019 edition.
4. Bellin, G., De Paiva, V., Ritter, E. (2001). Extended curry-howard correspondence for a basic constructive modal logic. In Proceedings of methods for modalities, Vol. 2.
5. Benton, N., Bierman, G., De Paiva, V. (1998). Computational types from a logical perspective. Journal of Functional Programming, 8, 177–193.