R. Shabana and R. A. Elageili, “Kripke models for intuitionistic propositional logic”, LJST, vol. 7, no. 2, Sep. 2022.