Axioms for Card Games H.P. van Ditmarsch Abstract: We axiomatize two different game states for card games, the state where cards have been dealt over players but where they haven't picked up their cards from the table yet, and the state where they have picked up their cards. The first is mainly interesting for its use in indirect description proofs. The second is extensively illustrated by the example of three players and three cards. We prove that the axiomatizations describe the respective models underlying the game states, in the technical sense that all other models are bisimilar to them. We show that our results correspond to those of fixed point computations of the description of modal models.