Up a level |
Artemov, Sergei; Kuznets, Roman (2009). Logical omniscience as a computational complexity problem. In: Heifetz, Aviad (ed.) TARK '09. Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 14-23). New York: Association for Computing Machinery ACM 10.1145/1562814.1562821