The logic of pit

Hans van Ditmarsch

pp. 343-374

in: Synthese 149 (2), 2006.

Abstract

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.