This paper is written as an introduction to epistemic logics and their game theoretic applications. It starts with both semantics and syntax of classical logic, and goes to the Hilbert-style proof-theory and Kripke-style model theory of epistemic logics. In these theories, we discuss individual...