Kaneko, Mamoru - In: Economic Theory 19 (2002) 1, pp. 7-62
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...