{"id":"https://openalex.org/W2475280705","doi":"https://doi.org/10.5555/2936924.2937027","title":"Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria","display_name":"Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria","publication_year":2016,"publication_date":"2016-05-09","ids":{"openalex":"https://openalex.org/W2475280705","doi":"https://doi.org/10.5555/2936924.2937027","mag":"2475280705"},"language":"en","primary_location":{"id":"mag:2475280705","doi":"https://doi.org/10.5555/2936924.2937027","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/atal/aamas2016.html#AminofMMR16","pdf_url":null,"source":{"id":"https://openalex.org/S4306417597","display_name":"Adaptive Agents and Multi-Agents Systems","issn_l":"1548-8403","issn":["1548-8403"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Adaptive Agents and Multi-Agents Systems","raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061045932","display_name":"Benjamin Aminof","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Benjamin Aminof","raw_affiliation_strings":["Technische Universit\u00e4t Wien, Wien, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technische Universit\u00e4t Wien, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026864209","display_name":"Vadim Malvone","orcid":"https://orcid.org/0000-0001-6138-4229","observed_orcids":["https://orcid.org/0000-0001-6138-4229"]},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vadim Malvone","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"raw_orcid":"https://orcid.org/0000-0001-6138-4229","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448","observed_orcids":["https://orcid.org/0000-0003-4876-3448"]},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"raw_orcid":"https://orcid.org/0000-0003-4876-3448","affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000922082","display_name":"Sasha Rubin","orcid":"https://orcid.org/0000-0002-3948-129X","observed_orcids":["https://orcid.org/0000-0002-3948-129X"]},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sasha Rubin","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II  Napoli Italy","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.0921,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.92325002,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"698","last_page":"706"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8949999809265137,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8949999809265137,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.043699998408555984,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.02710000053048134,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/strategy-logic","display_name":"strategy logic","score":0.9079999923706055},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.7229999899864197},{"id":"https://openalex.org/keywords/subgame-perfect-equilibrium","display_name":"subgame perfect equilibrium","score":0.972000002861023},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.7129999995231628},{"id":"https://openalex.org/keywords/multi-agent-systems","display_name":"multi-agent systems","score":0.7649999856948853},{"id":"https://openalex.org/keywords/strategic-reasoning","display_name":"strategic reasoning","score":0.6209999918937683},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"temporal logic","score":0.45399999618530273}],"concepts":[{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.7253496646881104},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6004249453544617},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5855993032455444},{"id":"https://openalex.org/C2777021972","wikidata":"https://www.wikidata.org/wiki/Q22976830","display_name":"Uniqueness","level":2,"score":0.529832661151886},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.5191280245780945},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.5106483101844788},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.4677966237068176},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4468824565410614},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4406552016735077},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42544087767601013},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34638863801956177},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.26131051778793335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17019733786582947},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14786216616630554},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2475280705","doi":"https://doi.org/10.5555/2936924.2937027","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/atal/aamas2016.html#AminofMMR16","pdf_url":null,"source":{"id":"https://openalex.org/S4306417597","display_name":"Adaptive Agents and Multi-Agents Systems","issn_l":"1548-8403","issn":["1548-8403"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"Adaptive Agents and Multi-Agents Systems","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W97887531","https://openalex.org/W133707965","https://openalex.org/W258058312","https://openalex.org/W1418068055","https://openalex.org/W1483892218","https://openalex.org/W1484133690","https://openalex.org/W1501952738","https://openalex.org/W1534803797","https://openalex.org/W1535051955","https://openalex.org/W1551503011","https://openalex.org/W1570009926","https://openalex.org/W1575155936","https://openalex.org/W1588876385","https://openalex.org/W1592028210","https://openalex.org/W1593604466","https://openalex.org/W1755994347","https://openalex.org/W1783469492","https://openalex.org/W1835836356","https://openalex.org/W1982791836","https://openalex.org/W1988808695","https://openalex.org/W1999673714","https://openalex.org/W2048905609","https://openalex.org/W2056408665","https://openalex.org/W2064568935","https://openalex.org/W2076284895","https://openalex.org/W2097064438","https://openalex.org/W2100902893","https://openalex.org/W2104974242","https://openalex.org/W2108947407","https://openalex.org/W2111589951","https://openalex.org/W2113692632","https://openalex.org/W2114893507","https://openalex.org/W2120360673","https://openalex.org/W2131724520","https://openalex.org/W2153099389","https://openalex.org/W2156309428","https://openalex.org/W2159652932","https://openalex.org/W2160041605","https://openalex.org/W2164789569","https://openalex.org/W2166108892","https://openalex.org/W2167359460","https://openalex.org/W2170933628","https://openalex.org/W2210855581","https://openalex.org/W2214961507","https://openalex.org/W2241467001","https://openalex.org/W2252303243","https://openalex.org/W2274066497","https://openalex.org/W2293280374","https://openalex.org/W2603686671","https://openalex.org/W2912248071","https://openalex.org/W2912494578","https://openalex.org/W2952060807","https://openalex.org/W3101497863","https://openalex.org/W3123663187","https://openalex.org/W3124430496"],"related_works":["https://openalex.org/W2465914719","https://openalex.org/W2795759756","https://openalex.org/W2767103995","https://openalex.org/W2241467001","https://openalex.org/W7124272930","https://openalex.org/W2965159275","https://openalex.org/W1976540310","https://openalex.org/W2265755505","https://openalex.org/W2903954122","https://openalex.org/W7137946334"],"abstract_inverted_index":{"Strategy":[0,46],"Logic":[1],"(SL)":[2],"is":[3,18,82,90,152],"a":[4,15,37,140],"well":[5],"established":[6],"formalism":[7],"for":[8,86,136,158],"strategic":[9],"reasoning":[10],"in":[11,92,149],"multi-agent":[12],"systems.":[13],"In":[14,40],"nutshell,":[16],"SL":[17,51],"built":[19],"over":[20,55],"LTL":[21],"and":[22,78],"treats":[23],"strategies":[24],"as":[25,61],"first-order":[26],"objects":[27],"that":[28,80,98,110,130],"can":[29,145],"be":[30,147],"associated":[31],"with":[32],"agents":[33],"by":[34,52],"means":[35],"of":[36,50,57,70,76,106,123,134,139,161],"binding":[38],"operator.":[39],"this":[41],"work":[42],"we":[43,128],"introduce":[44],"Graded":[45],"Logic,(Graded-SL),":[47],"an":[48],"extension":[49],"graded":[53],"quantifiers":[54],"tuples":[56,68],"strategy":[58,108],"variables":[59],"such":[60,162],"``there":[62],"exist":[63],"at":[64],"least":[65],"g":[66],"different":[67,107],"(x1,...,xn)":[69],"strategies''.We":[71],"study":[72],"the":[73,93,104,121,124,131,137,159],"model-checking":[74],"problem":[75],"GSLT":[77,99],"prove":[79],"it":[81,89],"no":[83],"harder":[84,154],"than":[85,155],"SL,":[87],"i.e.,":[88],"non-elementary":[91],"quantifier":[94],"rank.":[95],"We":[96],"show":[97],"allows":[100],"one":[101],"to":[102],"count":[103],"number":[105],"profiles":[109],"are":[111],"Nash":[112],"equilibria":[113,117],"(NE),":[114],"or":[115,143],"subgame-perfect":[116],"(SPE).":[118],"By":[119],"analyzing":[120],"structure":[122],"specific":[125],"formulas":[126],"involved,":[127],"conclude":[129],"important":[132],"problems":[133],"checking":[135,157],"existence":[138,160],"unique":[141],"NE":[142],"SPE":[144],"both":[146],"solved":[148],"2ExpTime,":[150],"which":[151],"not":[153],"merely":[156],"equilibria.":[163]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-07-22T00:00:00"}