Skip to main content
SpringerLink
Log in

The Logic of Pit

  • Published:
Synthese Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • A. Baltag L. Moss (2004) ArticleTitle‘Logics for Epistemic Programs’ Synthese 139 165–224 Occurrence Handle10.1023/B:SYNT.0000024912.56773.5e

    Article  Google Scholar 

  • Baltag, A., L. Moss and S. Solecki: 1999, ‘The Logic of Public Announcements, Common Knowledge, and Private Suspicions’, Technical report, Centrum voor Wiskunde en Informatica, Amsterdam. CWI Report SEN-R9922.

  • J. Barwise L. Moss (1996) Vicious Circles CSLI Publications Stanford

    Google Scholar 

  • p. Blackburn M. Rijke Particlede Y. Venema (2001) Modal Logic Cambridge University Press Cambridge

    Google Scholar 

  • S. Druiven (2002) ‘Knowledge Development in Games of Imperfect Information’ University of Groningen Groningen

    Google Scholar 

  • R. Fagin J. Halpern Y. Moses M. Vardi (1995) Reasoning about Knowledge MIT Press Cambridge MA

    Google Scholar 

  • Gerbrandy, J.: 1999, ‘Bisimulations on Planet Kripke’, Ph.D. thesis, University of Amsterdam. ILLC Dissertation Series DS-1999-01.

  • C. Holt (1996) ArticleTitle‘Trading in a Pit Market’ Journal of Economic Perspectives 10 IssueID1 193–203

    Google Scholar 

  • J.-J. Meyer W. Hoek Particlevan der (1995) Epistemic Logic for AI and Computer Science, Cambridge Tracts in Theoretical Computer Science 41 Cambridge University Press Cambridge

    Google Scholar 

  • Purvis, M., M. Nowostawski, S. Cranefield and M. Oliveira: 2004, ‘Multi-Agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments’, In G. Moro, C. Sartori and M. Singh (eds.) AP2PC, Vol. 2872 of Lecture Notes in Computer Science, Springer, pp. 150–161.

  • van Benthem, J.: 1998, ‘Dynamic Odds and Ends’, Technical report, ILLC, University of Amsterdam. Report ML-1998-08.

  • van Benthem, J., J. van Eijck and B. Kooi: 2005, ‘Logics of Communication and Change’, manuscript.

  • H. Ditmarsch Particlevan (2002) ArticleTitle‘Descriptions of Game Actions’ Journal of Logic, Language and Information 11 349–365

    Google Scholar 

  • van Ditmarsch, H.: 2004, ‘Some Game Theory of Pit’, In C. Zhang, H. Guesgen and W. Yeap (eds.), Proceedings of PRICAI 2004 (Eighth Pacific Rim International Conference on Artificial Intelligence), LNAI 3157, Springer, pp. 946–947.

  • van Ditmarsch, H., W. van der Hoek and B. Kooi: 2003, ‘Descriptions of game states’, In G. Mints and R. Muskens (eds.), Logic, Games, and Constructive Sets, Stanford, CSLI Lecture Notes No. 161, CSLI Publications, pp. 43–58.

  • van Ditmarsch, H., W. van der Hoek and B. Kooi: 2005, ‘Dynamic Epistemic Logic with Assignment’, To appear in the Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 05).

  • van Eijck, J.: 2004, ‘Guarded Actions’, Technical report, Centrum voor Wiskunde en Informatica, Amsterdam. CWI Report SEN-E0425.

  • M. Wooldridge (2002) An Introduction to Multiagent Systems John Wiley & Sons Ltd Chichester, UK

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Otago, Dunedin, New Zealand

    Hans P. Van Ditmarsch

Authors
  1. Hans P. Van Ditmarsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hans P. Van Ditmarsch.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Van Ditmarsch, H.P. The Logic of Pit. Synthese 149, 343–374 (2006). https://doi.org/10.1007/s11229-005-4331-5

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11229-005-4331-5

Keywords

Search

Navigation