1. Interactive knowledge;Aumann;Internation Journal of Game Theory,1999
2. Incomplete information;Aumann,2002
3. Information and impossibilities;Barwise;Notre Dame Journal of Formal Logic,1997
4. Modal Logic;Blackburn,2001
5. Model Logic;Chellas,1980