Shabana, R, and R. A. Elageili. 2022. “Kripke Models for Intuitionistic Propositional Logic”. Libyan Journal of Science &Amp;Technology 7 (2). https://doi.org/10.37376/ljst.v7i2.2243.