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