X-2000-02: van Ditmarsch, H.P. (2000) Axioms for Card Games. [Report]
Preview |
Text (Full Text)
X-2000-02.text.pdf Download (322kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
X-2000-02.abstract.txt Download (711B) |
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.
| 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 |
