Why is infinite recursion on the common knowledge assumption necessary?
Ariel Rubinstein has a fabulous paper in which he illustrates that Common Knowledge and Almost Common Knowledge are very different!

http://www.cs.cornell.edu/courses/cs6764/2018fa/The_Electronic_Mail_Game.pdf