X-2000-02: Axioms for Card Games

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

[thumbnail of Full Text]
Preview
Text (Full Text)
X-2000-02.text.pdf

Download (322kB) | Preview
[thumbnail of Abstract] 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 View Item