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