Repository | Journal | Volume | Articles
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView-Inc.php on line 691
Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView-Inc.php on line 692
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 309
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 311
Warning: Illegal string offset 'publicoll' in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView-Inc.php on line 724
Notice: Uninitialized string offset: 0 in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView-Inc.php on line 724
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 293
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 295
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
Warning: in_array() expects parameter 2 to be array, int given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView.php on line 251
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595
(2006) Synthese 149 (2).
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
The logic of pit
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: sizeof(): Parameter must be an array or an object that implements Countable in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 595
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/LoopData.php on line 750
pp. 343-374
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 327
Warning: mysqli_close() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 329
Warning: Invalid argument supplied for foreach() in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/PubliView-Inc.php on line 65
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
Warning: mysqli_connect(): (HY000/2002): Cannot assign requested address in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/UtilSite/GenDBconnect.php on line 24
Warning: mysqli_query() expects parameter 1 to be mysqli, bool given in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/ocoph/Util/GenDButil.php on line 200
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.
Publication details
DOI: 10.1007/s11229-005-4331-5
Full citation:
van Ditmarsch, H. (2006). The logic of pit. Synthese 149 (2), pp. 343-374.