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