Skip to main content
SpringerLink
Log in

Boolean Network Games and Iterated Boolean Games

  • Conference paper
  • First Online:
Logic, Rationality, and Interaction (LORI 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9394))

Included in the following conference series:

Abstract

A Boolean Network Game is a game played on a network structure. Players choose actions depending on the actions of those in their neighbourhood and attempt to achieve some goal expressed in a modification of Linear Temporal Logic over an infinite run. Iterated Boolean Games are similar, but lack network structure. We define and give translations between these models, and give some complexity results.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, T., Harrenstein, P., van der Hoek, W., Wooldridge, M.: Boolean Games with Epistemic Goals. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 1–14. Springer, Heidelberg (2013), http://link.springer.com/chapter/10.1007/978-3-642-40948-6_1

    Chapter  Google Scholar 

  2. Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic. Cambridge University Press (August 2002)

    Google Scholar 

  3. Gutierrez, J., Harrenstein, P., Wooldridge, M.: Iterated boolean games. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence, pp. 932–938. AAAI Press (2013)

    Google Scholar 

  4. Gutierrez, J., Harrenstein, P., Wooldridge, M.: Iterated boolean games. Information and Computation (2015)

    Google Scholar 

  5. Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: Boolean games. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 287–298. Morgan Kaufmann Publishers Inc. (2001)

    Google Scholar 

  6. Jackson, M.O., Zenou, Y.: Games on Networks. In: Handbook of Game Theory with Economic Applications. Handbook of Game Theory with Economic Applications, vol. 4, pp. 95–163. Elsevier (2015)

    Google Scholar 

  7. Kearns, M., Suri, S., Montfort, N.: An experimental study of the coloring problem on human subject networks. Science 313(5788), 824–827 (2006)

    Article  Google Scholar 

  8. Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS (LNAI), vol. 6521, pp. 178–188. Springer, Heidelberg (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Auckland, Auckland, New Zealand

    Jeremy Seligman & Declan Thompson

Authors
  1. Jeremy Seligman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Declan Thompson
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jeremy Seligman .

Editor information

Editors and Affiliations

  1. Dept of Comp Sci, Univ of Liverpool, Liverpool, United Kingdom

    Wiebe van der Hoek

  2. Department of Philosophy, Group in Logic & the Methodology of Sci. University of California, Berkeley, California, USA

    Wesley H. Holliday

  3. Institute of Philosophy of Mind and Cognition, National Yang-Ming University, Taipei, Taiwan

    Wen-fang Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Seligman, J., Thompson, D. (2015). Boolean Network Games and Iterated Boolean Games. In: van der Hoek, W., Holliday, W., Wang, Wf. (eds) Logic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science(), vol 9394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-48561-3_29

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-48561-3_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-48560-6

  • Online ISBN: 978-3-662-48561-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation