Arend Heyting Stichting

I-valuations, Kripke models and Heyting Algebras - De Jongh

From the time of my start with E.W. Beth as a master student in 1961 up to the present day I have been working with Kripke models, often but by no means all the time for intuitionistic logic. I will run through some examples that came up during that period.