Title:
Varieties of perfect recall
Abstract:
Perfect recall is the main model of individual memory in epistemic logic and in game theory. In this talk, after revisiting the classical understandings of that notion, we will look at what happens when these notions are "lifted" from individual to collective memory. We will start by considering new characterizations, in PDL and in DEL, of the notion of perfect recall originally proposed in game theory by Kuhn. We will then study whether different notions of perfect recall "lift" from individual to group knowledge, i.e. whether individual perfect recall entails perfect recall defined in terms of common and distributed knowledge. We finally examine what happens to these notions when groups are defined intensionally rather than extensionally, as is standard.