Proof-theoretic Analysis of Rationality for Strategic Games with Arbitrary Strategy Sets

Jonathan A. Zvesper, Krzysztof R. Apt

In the context of strategic games, we provide an axiomatic proof of the statement Common knowledge of rationality implies that the players will choose only strategies that survive…