The Logic of Pit

Pit is a multi-player card game that simulates the commodities trading market, and where actions consist of bidding and of swapping cards. We present a formal description of the knowledge and change of knowledge in that game. The description is in a standard language for dynamic epistemics expanded with assignment. Assignment is necessary to describe that cards change hands. The formal description is a prerequisite to model Pit in game theory. The main contribution of this paper should be seen as the rigorous formalization of all knowledge in Pit.

[1]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[2]  J.F.A.K. van Benthem,et al.  Dynamics odds and ends , 1998 .

[3]  Jan van Eijck,et al.  Logics of communication and change , 2006, Inf. Comput..

[4]  Charles A. Holt.  Classroom Games Trading in a Pit Market , 1996 .

[5]  Jan van Eijck.  Guarded Actions , 2004 .

[6]  W. van der Hoek,et al.  Descriptions of Game States , 2003 .

[7]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[8]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[9]  Hans van Ditmarsch,et al.  Descriptions of Game Actions , 2002, J. Log. Lang. Inf..

[10]  Lawrence S. Moss,et al.  Logics for Epistemic Programs , 2004, Synthese.

[11]  Lawrence S. Moss,et al.  The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.

[12]  Martin K. Purvis,et al.  Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments , 2004, PRICAI.

[13]  J. Gerbrandy.  Bisimulations on Planet Kripke , 1999 .

[14]  Hans van Ditmarsch,et al.  Some Game Theory of Pit , 2004, PRICAI.

[15]  D. Harrison,et al.  Vicious Circles , 1995 .

[16]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[17]  Wiebe van der Hoek,et al.  Dynamic epistemic logic with assignment , 2005, AAMAS '05.

[18]  W. van der Hoek,et al.  Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent , 2005 .