A logical characterization of iterated admissibility.

Joseph Y. Halpern, Rafael Pass

Browse the full TARK paper archive.