//-->
When do type structures contain all hierarchies of beliefs?
Friedenberg, Amanda, (2010)
The implications of finite-order reasoning
Brandenburger, Adam, (2021)
Forward induction reasoning revisited
Battigalli, Pierpaolo, (2012)