In this chapter we introduce the basic epistemic logic, to which we add a dynamic component in consecutive chapters. Epistemic logic, as it is conceived today, is very much influenced by the development of modal logic, and, in particular, by its Kripke semantics. We will emphasise the intuitive appeal of this semantics in this chapter and, indeed, throughout the book, since also the dynamics of epistemics will fruitfully utilise them.
KeywordsModal Logic Common Knowledge Epistemic State Axiom System Accessibility Relation
Unable to display preview. Download preview PDF.