Shabana R, A. Elageili R. Kripke models for intuitionistic propositional logic. LJST [Internet]. 2022 Sep. 18 [cited 2026 Apr. 25];7(2). Available from: https://next.fannak.com/index.php/LJST/article/view/2243