Syllabus Description: We will continue our discussion of knowledge in limited formats, addressing topics such as signaling and hate-drafting. Particularly, we will formalize the notions of knowledge into epistemic logic. In a system of knowledge, various players will know different things, perhaps leading to an infinite regress of knowing what another player knows. We will introduce basic modal logic with Kripke structures and consider some classic puzzles.
Decklists are at: http://magic.kevinleung.com/decklists/
Slides are at: http://magic.kevinleung.com/slides/EpistemicLogic.ppt
and far more information at http://magic.kevinleung.com
Tom can be reached at tmedina1 at stanford.edu
Kevin can be reached at kkleung at stanford.edu