{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T22:14:28Z","timestamp":1760220868495,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032080639","type":"print"},{"value":"9783032080646","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T00:00:00Z","timestamp":1760227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-08064-6_4","type":"book-chapter","created":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:45:57Z","timestamp":1760219157000},"page":"61-80","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Logic for\u00a0Resource-Sensitive Coalition Games"],"prefix":"10.1007","author":[{"given":"Pinaki","family":"Chakraborty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Caulfield","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,12]]},"reference":[{"key":"4_CR1","unstructured":"a16zcrypto: A Legal Framework for Decentralized Autonomous Organizations (2022). https:\/\/api.a16zcrypto.com\/wp-content\/uploads\/2022\/06\/dao-legal-framework-part-1.pdf"},{"issue":"5","key":"4_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002). https:\/\/doi.org\/10.1145\/585265.585270","journal-title":"J. ACM"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Benerecetti, M., Mogavero, F., Murano, A.: Reasoning about substructures and games. ACM Trans. Comput. Logic 16(3) (2015). https:\/\/doi.org\/10.1145\/2757286","DOI":"10.1145\/2757286"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Beutner, R., Finkbeiner, B.: On alternating-time temporal logic, hyperproperties, and strategy sharing. In: Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence (2024). https:\/\/doi.org\/10.1609\/aaai.v38i16.29679","DOI":"10.1609\/aaai.v38i16.29679"},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Bloem, R., Chatterjee, K., Jobstmann, B.: Graph Games and Reactive Synthesis. Presented at the (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_27","DOI":"10.1007\/978-3-319-10575-8_27"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Bodellini, M., Zhang, K., Enyi, J.: Decentralized autonomous organizations (DAOS). In: Financial Technology and Digital Commercial Law. Oxford University Press (2025). https:\/\/doi.org\/10.1093\/law\/9780192868763.003.0013","DOI":"10.1093\/law\/9780192868763.003.0013"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Brookes, S.: A semantics for concurrent separation logic. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 16\u201334. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-28644-8_2","DOI":"10.1007\/978-3-540-28644-8_2"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bujorianu, M., Caulfield, T., Ilau, M.C., Pym, D.: David: Interfaces in ecosystems: concepts, form, and implementation. In: Simulation Tools and Techniques, pp. 27\u201347 (2025)","DOI":"10.1007\/978-3-031-87345-4_3"},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/1047659.1040328","volume":"40","author":"C Calcagno","year":"2005","unstructured":"Calcagno, C., Gardner, P., Zarfaty, U.: Context logic and tree update. SIGPLAN Not. 40(1), 271\u2013282 (2005). https:\/\/doi.org\/10.1145\/1047659.1040328","journal-title":"SIGPLAN Not."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Caulfield, T., Ilau, M.C., Pym, D.: Engineering ecosystem models: semantics and pragmatics. In: Simulation Tools and Techniques, pp. 236\u2013258. Springer (2022)","DOI":"10.1007\/978-3-030-97124-3_21"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Caulfield, T., Ioannidis, C., Pym, D.: On the adoption of privacy-enhancing technologies. In: 7th International Conference on Decision and Game Theory for Security, pp. 175\u2013194 (2016). https:\/\/doi.org\/10.1007\/978-3-319-47413-7_11","DOI":"10.1007\/978-3-319-47413-7_11"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Caulfield, T., Pym, D.: Modelling and simulating systems security policy. EAI Endorsed Trans. Secur. Saf. 3(8) (2015). https:\/\/doi.org\/10.4108\/eai.24-8-2015.2260765","DOI":"10.4108\/eai.24-8-2015.2260765"},{"key":"4_CR13","unstructured":"Chakraborty, P., Caulfield, T., Pym, D.: Causality and decision-making: a logical framework for systems and security modelling (2025). https:\/\/arxiv.org\/abs\/2508.01758. Accessed 10 August 2025"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Chatterjee, K., Doyen, L.: Perfect-information stochastic games with generalized mean-payoff objectives. In: Proceedings of the 31st Annual ACM\/IEEE Symposium on Logic in Computer Science, pp. 247\u2013256. LICS \u201916 (2016). https:\/\/doi.org\/10.1145\/2933575.2934513","DOI":"10.1145\/2933575.2934513"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-74407-8_5","volume-title":"CONCUR 2007 \u2013 Concurrency Theory","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy Logic. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 59\u201373. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74407-8_5"},{"key":"4_CR16","unstructured":"Galmiche, D., Lang, T., M\u00e9ry, D., Pym, D.: Bifurcation Logic: separation through ordering, to appear. Proc. TARK XX. EPTCS (2025). Manuscript: https:\/\/www.cantab.net\/users\/david.pym\/current.html"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Galmiche, D., Lang, T., Pym, D.: Minimalistic system modelling: behaviours, interfaces, and local reasoning. In: Proc 16th EAI SIMUtools, Springer, 2024 (2024). https:\/\/doi.org\/10.48550\/arXiv.2401.16109. Accessed 9 June 2025","DOI":"10.1007\/978-3-031-87345-4_4"},{"key":"4_CR18","unstructured":"Gutierrez, J., Harrenstein, P., Wooldridge, M.: Reasoning about equilibria in game-like concurrent systems. In: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning, pp. 408\u2013417 (2014)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-40948-6_13","volume-title":"Logic, Rationality, and Interaction","author":"A Herzig","year":"2013","unstructured":"Herzig, A., Lorini, E., Walther, D.: Reasoning about actions meets strategic logics. In: Grossi, D., Roy, O., Huang, H. (eds.) Logic, Rationality, and Interaction, pp. 162\u2013175. Springer, Berlin Heidelberg, Berlin, Heidelberg (2013)"},{"key":"4_CR20","doi-asserted-by":"publisher","unstructured":"Ishtiaq, S.S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. In: Proc. 28th ACM Symp. on Principles of Programming Languages, pp. 14\u201326. ACM (2001). https:\/\/doi.org\/10.1145\/360204.375719","DOI":"10.1145\/360204.375719"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Karelovic, B., Zielonka, W.: Nearest fixed points and concurrent priority games. In: Fundamentals of Computation Theory, pp. 381\u2013393 (2015)","DOI":"10.1007\/978-3-319-22177-9_29"},{"key":"4_CR22","unstructured":"Law, A.W.: The Rise of Decentralized Autonomous Organizations: Opportunities and Challenges. Stanf. J. Blockchain Law Policy 4(1) (2021). https:\/\/stanford-jblp.pubpub.org\/pub\/rise-of-daos"},{"key":"4_CR23","doi-asserted-by":"publisher","unstructured":"Lu, Z., Siemer, S., Jha, P., Day, J., Manea, F., Ganesh, V.: Layered and staged monte carlo tree search for SMT strategy synthesis. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. IJCAI \u201924 (2024). https:\/\/doi.org\/10.24963\/ijcai.2024\/211","DOI":"10.24963\/ijcai.2024\/211"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"PW O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Pym, D.J.: The logic of bunched implications. Bulletin Symb. Logic 5(2), 215\u2013244 (1999). https:\/\/doi.org\/10.2307\/421090","journal-title":"Bulletin Symb. Logic"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"O\u2019Hearn, P.W., Reynolds, J.C., Yang, H.: Local reasoning about programs that alter data structures. In: Proceedings of the 15th International Workshop on Computer Science Logic, pp. 1\u201319. CSL \u201901, Springer-Verlag, Berlin, Heidelberg (2001)","DOI":"10.1007\/3-540-44802-0_1"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput. 12 (02) (2002). https:\/\/doi.org\/10.1093\/logcom\/12.1.149","DOI":"10.1093\/logcom\/12.1.149"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Pym, D.: Resource semantics: logic as a modelling technology. ACM SIGLOG News 6(2), 5\u201341 (2019). https:\/\/doi.org\/10.1145\/3326938.3326940","DOI":"10.1145\/3326938.3326940"},{"key":"4_CR28","unstructured":"Read, S.: Relevant Logic. Blackwell (1988)"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Restall, G.: An Introduction to Substructural Logics (1st ed.). Routledge (2000). https:\/\/doi.org\/10.4324\/9780203016244","DOI":"10.4324\/9780203016244"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation Logic: a logic for shared mutable data structures. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, pp. 55\u201374. LICS \u201902, IEEE Computer Society (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"4_CR31","unstructured":"Securities and Exchange Commission: Report of investigation pursuant to section 21(a) of the securities exchange act of 1934: The dao, https:\/\/www.sec.gov\/files\/litigation\/investreport\/34-81207.pdf"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Sinha, A., Fang, F., An, B., Kiekintveld, C., Tambe, M.: Stackelberg security games: looking beyond a decade of success. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence, pp. 5494\u20135501. AAAI Press (2018)","DOI":"10.24963\/ijcai.2018\/775"},{"key":"4_CR33","doi-asserted-by":"publisher","unstructured":"Stevens, P., Stirling, C.: Practical model-checking using games. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 85\u2013101. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/BFb0054166","DOI":"10.1007\/BFb0054166"},{"key":"4_CR34","unstructured":"United States Department of The Treasury: Illicit Finance Risk Assessment of Decentralized Finance (2023). https:\/\/home.treasury.gov\/system\/files\/136\/DeFi-Risk-Full-Review.pdf"},{"key":"4_CR35","unstructured":"von Neumann, John and Morgenstern, Oskar: Theory of Games and Economic Behavior. Princeton University Press (1944)"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/TCSS.2019.2938190","volume":"6","author":"S Wang","year":"2019","unstructured":"Wang, S., Ding, W., Li, J., Yuan, Y., Ouyang, L., Wang, F.Y.: Decentralized autonomous organizations: concept, model, and applications. IEEE Trans. Comput. Soc. Syst. 6, 870\u2013878 (2019). https:\/\/doi.org\/10.1109\/TCSS.2019.2938190","journal-title":"IEEE Trans. Comput. Soc. Syst."}],"container-title":["Lecture Notes in Computer Science","Game Theory and AI for Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-08064-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T21:46:10Z","timestamp":1760219170000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-08064-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,12]]},"ISBN":["9783032080639","9783032080646"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-08064-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,12]]},"assertion":[{"value":"12 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"GameSec","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Game Theory and AI for Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"gamesec2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.gamesec-conf.org\/index.php","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}