The issue of the order-dependence of iterative deletion processes is well-known in the game theory community, and meanwhile conditions on the dominance concept underlying these processes have been detected which ensure order-independence (see e.g. the criteria of Gilboa et al., 1990 and Apt,...

The issue of the order-dependence of iterative deletion processes is well-known in the game theory community, and meanwhile conditions on the dominance concept underlying these processes have been detected which ensure order-independence (see e.g. the criteria of Gilboa et al., 1990 and Apt,...

We propose some variants of a multi-modal of joint action, preference and knowledge that support reasoning about epistemic games in strategic form. The first part of the paper deals with games with complete information. We first provide syntactic proofs of some well-known theorems in the area of...