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.