The Expressive Power of the Kierarchical Approach to Modeling Knowledge and Common Knowledge.

Ronald Fagin, John Geanakoplos, Joseph Y. Halpern, Moshe Y. Vardi

Browse the full TARK paper archive.