“Many people think that interaction is just some 'nuisance' for true logic . . . I think, by contrast that interaction, and the resulting 'Many Mind Problems', are just as central to logic as 'Many Body Problems' are to any significant physics.” Formal LogicEpistemic Logic Author:Johan van Benthem, interview in "Game Theory: Five Questions"