Epistemic Logic

Epistemic logic is a discipline of philosophical logic which uses the tools of modal logic to characterize notions of knowledge, belief, etc. We introduce the ideas going from classical mathematical logic to non-classical logics, the basics of modal logic, and then the applications in epistemic logic, temporal logic, deontic logic and so on. Among these application fields our main focus is the characterizations of knowledge and belief. We introduce the Kripke models for interpreting these notions and its dynamics. Group notions of knowledge, the logic omniscience problem, KK thesis, Fitch's knowability paradox, muddy children puzzle, etc., are covered as well in this course.