Peterson is a contemporary philosopher working in formal epistemology and game theory, with particular focus on the epistemic foundations of rational agreement and backward induction. Their work engages critically with foundational results by Aumann and Stalnaker on common knowledge of rationality in extensive-form games.
Analyzed the divergence between Aumann (1995) and Stalnaker (1998) on common knowledge of rationality
Contributed to formal epistemology and the logic of games
Clarified how differing formal models yield different conclusions about rational agents