[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-85970-en":3,"doc-seo-85970-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},85970,13056703019404,"Miles","https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0",8,"Research & Report","Representation Theorems for Actual and Alpha Powers over General Concurrent Game Frames without Assuming Independence of Agents","Concurrent game frames provide a semantic basis for logics of strategic reasoning and support two coalition-power notions: alpha powers and actual powers. Alpha powers capture sets of futures that a coalition can force using a suitable action, while actual powers require both forcing into a set and compatibility of every future in that set with the coalition’s action. Extending recent generalizations that vary seriality, agent independence, and determinism, the paper proves representation results for these powers via corresponding neighborhood frames, matching four key frame classes.","arXiv :2607 . 10567v 1 [ cs .GT] 12 Jul 2026  \nRepresentation theorems for actual and alpha powers over general concurrent game frames without assuming independence of agents  \nZixuan Chen 1 ,2 , Fengkui Ju3 ,4 ∗, and Thomas Ågotnes5 ,6 ,7  \n1 Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam  \nThe Netherlands  \n[2](2 zixuan.chen21@outlook.com)[ zixuan.chen21@outlook.com](2 zixuan.chen21@outlook.com)  \n3 School of Philosophy, Beijing Normal University, Beijing, China  \n[4](4 fengkui.ju@bnu.edu.cn)[ fengkui.ju@bnu.edu.cn](4 fengkui.ju@bnu.edu.cn)  \n5 Department of Information Science and Media Studies, University of Bergen, Bergen, Norway  \n6 School of Philosophy, Shanxi University, Taiyuan, China  \n[7](7 thomas.agotnes@uib.no)[ thomas.agotnes@uib.no](7 thomas.agotnes@uib.no)  \nAbstract  \nConcurrent game frames are a standard semantic framework for logics of strategic reasoning. Two notions of coalition power can be derived from such frames: alpha powers and actual powers. An alpha power of a coalition is a set of possible futures such that the coalition has an action that forces the resulting future to lie in that set. An actual power of a coalition is a set of possible futures satisfying the following condition: the coalition has an action such that (1) the action forces the resulting future to lie in the set, and (2) every future in the set is compatible with that action.  \nRecent generalizations of concurrent game frames separate three structural assumptions built into the standard model: seriality, independence of agents, and determinism. This yields eight classes of general concurrent game frames.  \nIn this paper, we prove that for actual powers, the four classes of general concurrent game frames, where independence of agents is not assumed, are representable by four corresponding classes of neighborhood frames. Building on this result, we show that for alpha powers, the same four classes of general concurrent game frames are likewise representable by four corresponding classes of neighborhood frames.  \n1 Introduction  \nIn this section, we begin by recalling concurrent game frames, alpha and actual powers, and neighborhood frames. We then explain the difference between alpha powers and actual powers, formulate the neighborhood-frame representation problem for both notions of power, and discuss the significance of such representation results. After that, we introduce the eight classes of general concurrent game frames obtained by varying seriality, independence of agents, and determinism. The section closes with an outline of the main results of the paper.  \nMuch of the background material in this section is drawn from [ CJÅ26]; it is recalled here to make the present paper self-contained.  \n∗ Corresponding author.  \n1.1 Concurrent game frames, alpha and actual powers, and alpha and actual neighborhood frames  \nConcurrent game frames are a standard semantic framework for logics of strategic reasoning. Many influential logics in this area are interpreted over concurrent game frames, including Coalition Logic CL [Pau02] and Alternating-time Temporal Logic ATL [AHK02] . Roughly speaking, a concurrent game frame consists of states and agents (forming coalitions), where, at each state, every coalition has available joint actions, and each such action induces a set of possible outcome states.  \nTwo notions of coalition power arise from concurrent game frames: alpha powers and actual powers. An alpha power of a coalition is a set of possible futures such that the coalition has an action that forces every resulting outcome to lie in that set. An actual power of a coalition is a set of possible futures such that the coalition has an action satisfying both of the following conditions: (1) the action forces every resulting outcome to lie in the set, and (2) every future in the set is realizable by the complement coalition (and the environment) . Thus, unlike alpha powers, actual powers explicitly invol","cbCaidXbqgR9pzvW","https://ap.wps.com/l/cbCaidXbqgR9pzvW","pdf",714185,1,50,"English","en",105,"# Introduction\n## Concurrent game frames, alpha and actual powers, and alpha and actual neighborhood frames\n## Alpha powers versus actual powers","[{\"question\":\"What is the difference between alpha powers and actual powers in concurrent game frames?\",\"answer\":\"Alpha powers record guarantees: an action whose outcomes all lie in a set also guarantees any superset. Actual powers record the precise outcome set generated by an action, and require that every future in the set is compatible with the coalition’s action.\"},{\"question\":\"How do the paper’s representation theorems relate actual/alpha powers to neighborhood frames?\",\"answer\":\"For the four general concurrent game frame classes where independence of agents is not assumed, actual powers are representable by corresponding classes of neighborhood frames. The same four classes are also representable for alpha powers by corresponding neighborhood frames.\"},{\"question\":\"Which structural assumptions are varied to obtain the general concurrent game frame classes studied in the paper?\",\"answer\":\"The framework varies seriality, independence of agents, and determinism, yielding eight classes of general concurrent game frames used to derive the representation results.\"}]",1784207470,126,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"representation-theorems-for-actual-and-alpha-powers-over-general-concurrent-game-frames-without-assuming-independence-of-agents","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/representation-theorems-for-actual-and-alpha-powers-over-general-concurrent-game-frames-without-assuming-independence-of-agents/85970/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-19","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What is the difference between alpha powers and actual powers in concurrent game frames?","Question",{"text":75,"@type":76},"Alpha powers record guarantees: an action whose outcomes all lie in a set also guarantees any superset. Actual powers record the precise outcome set generated by an action, and require that every future in the set is compatible with the coalition’s action.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"How do the paper’s representation theorems relate actual/alpha powers to neighborhood frames?",{"text":80,"@type":76},"For the four general concurrent game frame classes where independence of agents is not assumed, actual powers are representable by corresponding classes of neighborhood frames. The same four classes are also representable for alpha powers by corresponding neighborhood frames.",{"name":82,"@type":73,"acceptedAnswer":83},"Which structural assumptions are varied to obtain the general concurrent game frame classes studied in the paper?",{"text":84,"@type":76},"The framework varies seriality, independence of agents, and determinism, yielding eight classes of general concurrent game frames used to derive the representation results.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,114,119,122,127,130,134],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":21,"slug":113},6,"Technology","technology",{"id":115,"doc_module":4,"doc_module_name":45,"category_name":116,"show_sort_weight":117,"slug":118},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":120,"slug":121},30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":125,"slug":126},9,"Religion & Spirituality",20,"religion-spirituality",{"id":125,"doc_module":4,"doc_module_name":45,"category_name":128,"show_sort_weight":125,"slug":129},"World Cup","world-cup",{"id":131,"doc_module":4,"doc_module_name":45,"category_name":132,"show_sort_weight":131,"slug":133},10,"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":45,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]