Formal Epistemology: A Survey

The paper surveys theoretical developments in formal epistemology. We discuss knowledge operator, and its role in game theory. Then we introduce imperfect knowledge from bounded rationality perspective. Lastly, we discuss unawareness, and its negative result.