X-2000-02: Axioms for Card Games

X-2000-02: van Ditmarsch, H.P. (2000) Axioms for Card Games. [Report]

Text (Full Text)

Download (322kB) | Preview
[img] Text (Abstract)

Download (711B)


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.

Item Type: Report
Report Nr: X-2000-02
Series Name: Technical Notes (X) Series
Year: 2000
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/642

Actions (login required)

View Item View Item