Thinking About Knowledge

Abstract

This thesis is about logics that are concerned with reasoning about knowledge. The acquisition of knowledge can be modelled. There are several systems to formalize reasoning about knowledge. Two systems that are used for epistemic logic are intuitionistic logic and the modal logic S4. Both logics will be discussed. The two differ a lot from each other, especially in the way that statements are considered to be true. But classical logic can be reduced to intuitionistic logic and intuitionistic logic can be reduced to the modal logic S4. This is done by the tranlations that were introduced by G\"odel. One of these translations will be examined explicitly. The thesis assumes some familiarity with classical logic.