condition is fundamentally different from the consistency condition. Hence, we conclude that
its contribution to the reasonability condition is not sufficient compared with the complexity
caused by this condition7 . As a result, we simplify the definition of the reasonability in
general games by excluding this no-signaling-what-you-don’t-know condition. We call this
simple extension of the reasonability reasonable consistency.
Definition 2 An assessment (μ,δ) is reasonably consistent if given each i, 1) μ1 is the
same as y_i and 2) for each (θi, a1, ...,at~1) ∈ Θi × A1 × ∙ ∙ ∙ × At 1 and each B ∈ ×j∕jβ(Θj),
μt(θi, a1,..., at~1∙, B) indicates the same probability as
fθ~. f{at-iy^B(θ~i)δt~1(θ, a1, ...,at~2; dat-1)μtr1(θi, a1, ...,at~2; dθ~f)
J<> f{a⅛-ι∕i-1(θ, a1, ...,a 2 dat-r)μtr∖θi, a1, ...,a 2 dθ b
whenever t ≥ 2 and ʃθ βιat 1 fδ' ] (0, oi, ...,at '2: dal 1)μli 1 (θi, a1, ...,at '2: dθ i) > 0 where
Ib(∙) is an indicator function, i.e. Ib(θ~i) = 1 if θ i ∈ B and Ib(θ~f) = 0 if θ i ∈ B.
In other words, an assessment (μ, δ) is reasonably consistent if 1) in the first period, each
player correctly forms its beliefs μ1 based on the type and state probability measure η, and
2) from the second period, each player employs Bayes’ rule to update its beliefs μti with
respect to the previous action plans δt 1 and the previous beliefs μt 1 whenever possible.
Here, “whenever possible” means whenever an information set Θ-i ×{(θi, a1, ...,at 1)} is
reached with positive probability with respect to δt 1 and μt~1, that is, ʃθ βва^ ∖ fδ ] 1('). a1,
..., A' '2'. dal' 1)μi ] (θi, a1, ..., a1'2; dθ i) > 0. Note that, in finite games, this definition of the
reasonable consistency represents the same condition as the definition of the reasonability in
7 According to Fudenberg and Tirole (1991), this condition requires that “no player i’s deviation be
treated as containing information about things that player i does not know.” Here, “player i’s deviation” is
its behavior off the equilibrium path, so this condition places restrictions on the beliefs off the equilibrium
path. However, the incapability problem with a perfect Bayesian equilibrium occurs more significantly on
the equilibrium path than off the equilibrium path. Therefore, this condition cannot solve the problem with
the solution concept of the perfect Bayesian equilibrium. This is another reason why we conclude that the
contribution of this condition is not sufficient.
14