Theory and Design of MTG – Week 8: Epistemic Logic

Play

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