Before revision:  Then we use a modified KD-system in epistemic logic to describe a player's belief/ knowledge, decision-making criterion, and reasoning process . Especially , we define  C-acceptability to capture the criterion for  a core payoff vector.
After revision:  Then we use a modified KD-system in epistemic logic to describe a player's belief/ knowledge, decision-making criterion, and reasoning process . Especially , we define a formula called C-acceptability to capture the criterion for a core payoff vector.