Reasoning about Dominant Actions
Kazuki Hirase, Takashi Matsuhisa · 2001
The logic of $'. \mathrm{u}\mathr m{t}\mathrm{i}\m athrm{l}\mathrm{ i}\mathrm{t}\mat hrm{y}$ maximizers' $L^{um}$ is proposed which is an extension of asystem of modal logic for two players. The sound models according to $L^{um}$ are given in terms of game theory. It is shown for the models that two utility maximizing players must take the same action if they mutually believe that each takes adominant action, even wben they have dierent informations. We remark that the logic