Shabana, R. and A. Elageili, R. 2022. Kripke models for intuitionistic propositional logic. Libyan Journal of Science &Technology. 7, 2 (Sep. 2022). DOI:https://doi.org/10.37376/ljst.v7i2.2243.