塞巴斯蒂安·恩奎斯特;瓦伦丁·戈兰科 并发多人游戏中联盟目标分配的时间逻辑。 （英语） Zbl 1505.03048号 ACM事务处理。计算。日志。 23，第4条，第21条，58页（2022年）. MSC公司： 03B44号 时间逻辑 03B70号 计算机科学中的逻辑 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 91A06型 \（n）-人游戏，（n>2） 关键词：时序逻辑;并发多层游戏;联盟目标分配 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}和\textit{V.Goranko}，ACM Trans。计算。日志。23，第4号，第21条，58页（2022年；Zbl 1505.03048） 全文： 内政部 arXiv公司 参考文献： [1] Abraham、Ittai、Dolev、Danny、Gonen、Rica和Joseph Y.Halpern，2006年。分布式计算符合博弈论：理性秘密共享和多方计算的稳健机制。在第25届ACM分布式计算原理研讨会的会议记录中。Ruppert，Eric和Malkhi，Dahlia（编辑）。美国医学会，53-62。内政部：·Zbl 1314.68051号 [2] Acar、Erman、Benerecetti、Massimo和Mogavero，Fabio，2019年。策略逻辑中的可满足性比模型检查更容易。在第33届AAAI人工智能大会、2019年AAAI、第31届人工智能创新应用大会、2019年IAAI和第9届AAAI人工智能教育进展研讨会的会议记录中。AAAI出版社，2638-2645。内政部： [3] 奥戈特内斯，Th.，Goranko，V.和Jamroga，W.，2007年。具有不可撤销策略的交替时间-时间逻辑。在TARK XI会议记录中。鲁汶大学出版社，布鲁塞尔圣路易斯大学，15-24。 [4] 奥戈特内斯，T.、戈兰科，V.和贾姆罗加，W.，2008年。多代理系统逻辑中的战略承诺和发布（扩展摘要）。技术报告IfI-08-01。克劳斯塔尔科技大学。 [5] Alur，R.、Henzinger，T.A.和Kupferman，O.，2002年。交替时间-时间逻辑。ACM49杂志，5（2002），672-713·Zbl 1326.68181号 [6] 阿米诺夫、本杰明、马尔文、瓦迪姆、穆拉诺、阿尼埃罗和鲁宾、萨沙。2016.分级战略逻辑：关于纳什均衡唯一性的推理。《2016年自主代理和多代理系统国际会议论文集》。Jonker，Cathodlijn M.、Marsella、Stacy、Thangarajah、John和Tuyls，Karl（编辑）。美国医学会，698-706。检索自http://dl.acm.org/citation.cfm？id=2937027。 ·Zbl 1395.68254号 [7] Aumann，R.J.，1959年。一般合作n人游戏中可接受的点。《游戏理论贡献汇编》第四卷，塔克·A·W·和卢斯·L·D·（编辑）。普林斯顿大学出版社，287-324·Zbl 0085.13005号 [8] Belnap，N.和Perloff，M.，1988年。注意：代词的标准形式。《理论》54，3（1988），175-199。 [9] Branzei、Rodica、Dimitrov、Dinko和Tijs、Stef。2008年，《合作博弈模型》（第二版）。柏林斯普林格·弗拉格·Zbl 1142.91017号 [10] 布里海耶、托马斯、洛佩斯、阿诺德·达科斯塔、拉鲁西尼、弗朗索瓦和马基、尼古拉斯。2009年，具有策略上下文和有限内存的ATL。在LFCS’09的会议记录中。Artömov，S.和Nerode，A.（编辑）。柏林施普林格，92-106·Zbl 1211.03031号 [11] Brown，M.A.，1988年。关于能力的逻辑。《哲学逻辑杂志》17，1（1988），1-26·Zbl 0653.03003号 [12] Bulling，N.、Goranko，V.和Jamroga，W.，2015年。推理多层游戏中战略能力的逻辑。《战略推理模型学报：逻辑、游戏和社区》。Benthem，J.van，Ghosh，S.和Verbrugge，R.（编辑）。柏林施普林格，93-136·Zbl 1422.91116号 [13] Chalkiadakis、Georgios、Elkind、Edith和Wooldridge，Michael J.，2011年。合作博弈论的计算方面。摩根和克莱普尔出版社。内政部：·Zbl 1258.91005号 [14] 查特吉（Chatterjee）、克里希南多（Krishnendu）、亨廷格（Henzinger）、托马斯（Thomas A.）和尼尔·皮特曼（Piterman）。2010年，战略逻辑。信息与计算208，6（2010），677-693。内政部：·Zbl 1205.68197号 [15] Cìrstea，C.、Kupke，C.和Pattinson，D.，2011年。余代数\（\mu\）-演算的Exptime tableaux。计算机科学中的逻辑方法7，3（2011），1-33·Zbl 1237.03014号 [16] 科琳娜和帕丁森，德克，2007年，Crstea。完整组合逻辑的模块化结构。理论计算机科学388，1-3（2007），83-108·Zbl 1126.03020号 [17] 德姆里、斯特芬、戈兰科、瓦伦丁和马丁·兰格。2016.计算机科学中的时间逻辑。剑桥大学出版社，剑桥·Zbl 1380.68003号 [18] 塞巴斯蒂安·恩奎斯特。2018年。带逆向模态的平面模态不动点逻辑。《逻辑与计算杂志》28，6（2018），1065-1097·Zbl 1444.03051号 [19] Enqvist、Sebastian、Seifan、Fatemeh和Venema、Yde。2019.（mu）-calculi的完备性：一种联合策略。《纯粹与应用逻辑年鉴》170，5（2019），578-641·兹比尔1443.03012 [20] Fisman、Dana、Kupferman、Orna和Lustig，Yoad。2010年，理性综合。在2010年TACAS会议记录中。Esparza，Javier和（Majumdar，Rupak（编辑）。计算机科学讲义，第6015卷。柏林施普林格，190-204年·Zbl 1284.68396号 [21] 盖尔·方丹、利尔、劳尔和伊德·维尼玛。2010.余代数自动机：一种使用谓词提升的方法。自动化、语言和编程国际学术讨论会论文集。柏林施普林格，381-392·兹比尔1288.68175 [22] Gardy、Patrick、Bouyer、Patricia和Markey、Nicolas。2020年。战略逻辑的依赖性。《计算系统理论》64，3（2020），467-507。内政部：·Zbl 1484.68100号 [23] 瓦伦丁·戈兰科和塞巴斯蒂安·恩奎斯特。2018年。社会友好和团体保护联盟逻辑。2018年澳大利亚金融管理局会议记录。372-380. 检索自http://dl.acm.org/citation.cfm？id=3237442。 [24] Goranko、Valentin和Ju、Fengkui。2019.走向有条件局部战略推理的逻辑。《2019年LORI会议录》，Blackburn，P.和Lorini，E.（编辑）。计算机科学讲义，第11813卷。施普林格，112-125·Zbl 07160605号 [25] V.Goranko和G.van Drimmelen。2006.交替时间时序逻辑的完全公理化和可判定性。计算系统理论353（2006），93-117·Zbl 1089.03013号 [26] 朱利安·古铁雷斯（Julian Gutierrez）、克劳斯（Kraus）、萨里特（Sarit）和迈克尔·J·伍尔德里奇（Michael J.Wooldridge），2019年。合作并发游戏。在第18届自治代理和多代理系统国际会议的会议记录中。Elkind、Edith、Veloso、Manuela、Agmon、Noa和Taylor，Matthew E.（编辑）。国际自治代理和多代理系统基金会，1198-1206年。检索自http://dl.acm.org/citation.cfm？id=3331822。 [27] 麦克莱恩，S.，1971年。职业数学家的类别。数学研究生文凭排名第五。施普林格，柏林·Zbl 0232.18001号 [28] Mogavero、Fabio、Murano、Aniello、Perelli、Giuseppe和Vardi，Moshe Y.，2014年。关于策略的推理：关于模型选择问题。《美国计算机学会计算逻辑学报》15，4（2014），34:1-34:47·Zbl 1354.68178号 [29] Mogavero、Fabio、Murano、Aniello、Perelli、Giuseppe和Vardi，Moshe Y.，2017年。策略推理：关于可满足性问题。计算机科学中的逻辑方法13，1（2017），1-37·Zbl 1448.68312号 [30] 莫加维罗、法比奥、穆拉诺、阿尼埃洛和索罗、路易吉。2013年，关于行为策略的边界。第28届ACM/IEEE计算机科学逻辑年会论文集。IEEE计算机学会，263-272。内政部：·Zbl 1367.68290号 [31] Mogavero、Fabio、Murano、Aniello和Vardi，Moshe Y.，2010年。推理策略。2010年FSTTCS会议记录。达格斯图尔-莱布尼茨-泽特鲁姆-富尔信息，133-144·Zbl 1245.68138号 [32] 劳伦斯·S·莫斯（Lawrence S.Moss），1999年。Coalgebraic逻辑。《纯粹与应用逻辑年鉴》96，1-3（1999），277-317·Zbl 0969.03026号 [33] 奥斯本（Osborne）、马丁（Martin）和鲁宾斯坦（Rubinstein）、阿里尔（Ariel）。2011年，博弈论课程。麻省理工学院出版社，电子版·Zbl 1194.91003号 [34] 罗希特·帕里赫。1985.游戏的逻辑及其应用。在计算理论专题中，《计算理论基础国际会议论文集》（FCT’83），马雷克·卡普兰斯基和扬·范·列文（编辑）·Zbl 0552.90110号 [35] 德克·帕丁森，2003年。协代数模态逻辑：局部结果的健全性、完备性和可判定性。理论计算机科学309，1-3（2003），177-193·兹比尔1052.03009 [36] Pauly，M.，2001年。社交软件逻辑。阿姆斯特丹大学。 [37] Pauly，M.，2002年。游戏中联盟力量的模态逻辑。《逻辑与计算杂志》12，1（2002），149-166·Zbl 1003.91006号 [38] Ramamurthy，K.G.，1990年。连贯结构和简单游戏。理论与决策库，第6卷。施普林格荷兰公司·Zbl 0738.90093号 [39] Rutten，Jan J.M.M.，2000年。宇宙余代数：一种系统理论。理论计算机科学249，1（2000），3-80·Zbl 0951.68038号 [40] Santocanale，Luigi和Venema，Yde。2010.平面模态不动点逻辑的完整性。《纯粹与应用逻辑年鉴》162，1（2010），55-82·Zbl 1225.03020号 [41] 卢茨·施罗德。2008.联合模态逻辑的表达性：极限和超越。理论计算机科学390，2（2008），230·Zbl 1132.03008号 [42] Schröder，Lutz和Pattinson，Dirk.2009年。等级-1模态逻辑的PSPACE界限。《美国计算机学会计算逻辑学报》10，2（2009），1-33·Zbl 1351.03015号 [43] 施罗德（Schröder）、卢茨（Lutz）和维尼马（Venema）、伊德（Yde）。2010年，平面合并不动点逻辑。在《CONCUR会议录》中，Gastin，Paul and Laroussinie，François（Eds.）。计算机科学讲义，第6269卷。柏林施普林格，524-538·Zbl 1287.03076号 [44] 施罗德（Schröder）、卢茨（Lutz）和维尼马（Venema）、伊德（Yde）。2010年，平面合并不动点逻辑。《并行理论国际会议论文集》。施普林格，柏林，524-538·Zbl 1287.03076号 [45] 特罗夸德、尼古拉斯、霍克、维比·范德和迈克尔·伍尔德里奇。2009年，游戏逻辑和命题控制。AAMAS 2009年会议记录，第2卷。IFAAMAS，961-968年。 [46] Deemen，Ad M.A.货车。1997.联盟形成与社会选择。理论与决策库，第19卷。施普林格荷兰·Zbl 1032.91585号 [47] Hoek，Wiebe van der和Wooldridge，Michael。2005.关于合作和命题控制的逻辑。人工智能164，1-2（2005），81-119。内政部：·Zbl 1132.68744号 [48] 伊德·维尼马。2006.自动机和不动点逻辑：联合大脑的观点。信息与计算204，4（2006），637-678·Zbl 1110.68066号 [49] 伍尔德里奇、迈克尔、古铁雷斯、朱利安、哈伦斯坦、保罗、马尔基奥尼、恩里科、佩雷利、朱塞佩和图米、亚历克西斯。2016年，理性验证：从模型检验到均衡检验。2016年AAAI会议记录。4184-4191. 检索自http://www.aaai.org/ocs/index.php/aaai/AAAI16/paper/view/12268。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。