A logical characterization of iterated admissibility · Study