Theory and Design of MTG – Week 8: Epistemic Logic


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:

Slides are at:

and far more information at

Tom can be reached at tmedina1 at

Kevin can be reached at kkleung at