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