Shabana R, A. Elageili R. Kripke models for intuitionistic propositional logic. LJST [Internet]. 2022 Sep. 18 [cited 2025 Apr. 27];7(2). Available from: https://journals.uob.edu.ly/LJST/article/view/2243