We study the possibility of prediction/decision making in a finite 2-person game with pure strategies, following the Nash-Johansen noncooperative solution theory. We adopt the infinite-regress logic EIR (a fixed-point extension of the epistemic logic KD with 2 persons) to capture individual decision making from the viewpoint of logical inference. In the logic EIR, prediction/decision making is ...
