TY - RPRT TI - A Logical Characterization of Iterated Admissibility AU - Joseph Y. Halpern AU - Rafael Pass PY - 2009 UR - https://arxiv.org/abs/0906.4326 ID - 0906.4326 ER -