Shabana, R.; A. Elageili, R. Kripke Models for Intuitionistic Propositional Logic. LJST 2022, 7.