Frame Properties of Beth Models

In this thesis I intend to present a comparison of Kripke and Beth models for Intuitionistic Logic, foremost to see how the two relate to each other and to explore frame properties of both. I will start off in chapter 2 by introducing the reader to Intuitionism, Intuitionistic Propopsition Logic and Intuitionistic Predicate Logic. In chapter 3 and 4 I will introduce the Kripke and Beth models and will see in chapter 5 if they can be translated into each other and by which means. In chapter 6 we look at what is known about frame properties of Kripke models, and we will see if we can find frame properties for Beth models as well. We will look at the intermediate logics KC and LC and see if we can find Beth models related to them.