Kosta Dosen Rudimentary Kripke Models for the Intuitionistic Propositional Calculus. 21-49 1993 62 Ann. Pure Appl. Logic 1 db/journals/apal/apal62.html#Dosen93