Sudoku for Logicians

Logic puzzles present what Johan van Benthem has called "the Sudoku challenge", namely, to account for the epistemology of inference when the solution is entailed by the puzzle itself. At an abstract level, this is the problem of epistemic closure. Most systems of epistemic logic validate the principle that a rational agent knows whatever is entailed by their knowledge, and yet this renders it difficult to account for the epistemic gain afforded by inference. In this talk I will try to show how a closer look at Sudoku solving presents a much richer view of the epistemology of deductive reasoning, especially when one considers Sudoku variants in which additional rules create the possibility of many new strategies. I'll also attempt to make this relevant to multi-agent systems