{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:22:03Z","timestamp":1759332123792},"reference-count":61,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T00:00:00Z","timestamp":1610496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"ANR project SCONE","award":["ANR 18-CE23-0009-01"],"award-info":[{"award-number":["ANR 18-CE23-0009-01"]}]},{"name":"ANR-3IA Artificial and Natural Intelligence Toulouse Institute"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,6,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper, we present two models for reasoning about strategic actions in opinion diffusion. In both models, the agents are endowed with goals expressed compactly in a suitably defined language of linear temporal logic and are connected in an influence network which defines the underlying opinion diffusion process. The agents can act by exerting their influence or retain from it: in one case, we assume an initial state of incomplete information about the agents\u2019 opinions, while in the other, we assume that the agents have complete information. We investigate the interplay between simple network structures (e.g. certain acyclic graphs) and the existence of game-theoretic solution concepts for the unanimity aggregator. We also give bounds for the computational complexity of strategic reasoning in both our models on arbitrary networks.<\/jats:p>","DOI":"10.1093\/logcom\/exaa088","type":"journal-article","created":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T21:46:24Z","timestamp":1607636784000},"page":"1129-1157","source":"Crossref","is-referenced-by-count":1,"title":["Games of influence"],"prefix":"10.1093","volume":"31","author":[{"given":"Umberto","family":"Grandi","sequence":"first","affiliation":[{"name":"Institute de Recherche en Informatique de Toulouse (IRIT), University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[{"name":"CNRS, Institute de Recherche en Informatique de Toulouse (IRIT), Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arianna","family":"Novaro","sequence":"additional","affiliation":[{"name":"Institute for Logic, Language and Computation (ILLC), University of Amsterdam, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Perrussel","sequence":"additional","affiliation":[{"name":"Institute de Recherche en Informatique de Toulouse (IRIT), University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,1,13]]},"reference":[{"key":"2021080214460405200_ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-40948-6_1","article-title":"Boolean games with epistemic goals","volume-title":"Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction (LORI-2013)","author":"Agotnes","year":"2013"},{"key":"2021080214460405200_ref2","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"Journal of the ACM"},{"key":"2021080214460405200_ref3","article-title":"Graded strategy logic: reasoning about uniqueness of Nash equilibria","volume-title":"Proceedings of the 15th International Joint Conference on Agents and Multiagent Systems (AAMAS-2016)","author":"Aminof","year":"2016"},{"key":"2021080214460405200_ref4","doi-asserted-by":"crossref","DOI":"10.24963\/ijcai.2019\/214","article-title":"Possibilistic games with incomplete information","volume-title":"Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-2019)","author":"Ben Amor","year":"2019"},{"key":"2021080214460405200_ref5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511804090","volume-title":"Computational Complexity: A Modern Approach","author":"Arora","year":"2009"},{"key":"2021080214460405200_ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1037\/h0093718","article-title":"Studies of independence and conformity: I. A minority of one against a unanimous majority","volume":"70","author":"Asch","year":"1956","journal-title":"Psychological Monographs"},{"key":"2021080214460405200_ref7","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1016\/j.euroecorev.2016.02.006","article-title":"Social connectedness improves co-ordination on individually costly, efficient outcomes","volume":"90","author":"Attanasi","year":"2016","journal-title":"European Economic Review"},{"key":"2021080214460405200_ref8","first-page":"405","article-title":"Logical models of informational cascades. Studies in Logic","author":"Baltag","year":"2013"},{"key":"2021080214460405200_ref9","volume-title":"Social Foundations of Thought and Action: A Social Cognitive Theory","author":"Bandura","year":"1986"},{"key":"2021080214460405200_ref10","volume-title":"The Nature of Power","author":"Barnes","year":"1988"},{"key":"2021080214460405200_ref11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-1-4615-6337-2_4","article-title":"Conjectural equilibria and rationalizability in a game with incomplete information","volume-title":"Decisions, Games and Markets","author":"Battigalli","year":"1997"},{"key":"2021080214460405200_ref12","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.251.4","article-title":"Relaxing exclusive control in Boolean games","volume-title":"Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2017)","author":"Belardinelli","year":"2017"},{"key":"2021080214460405200_ref13","article-title":"Boolean games revisited","volume-title":"Proceedings of the 7th European Conference on Artificial Intelligence (ECAI-2006)","author":"Bonzon","year":"2006"},{"key":"2021080214460405200_ref14","article-title":"Multi-issue opinion diffusion under constraints","volume-title":"Proceedings of the 18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2019)","author":"Botan","year":"2019"},{"key":"2021080214460405200_ref15","article-title":"Pairwise diffusion of preference rankings in social networks","volume-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)","author":"Brill","year":"2016"},{"key":"2021080214460405200_ref16","doi-asserted-by":"crossref","first-page":"208","DOI":"10.5840\/protosociology200318\/198","article-title":"The micro-macro constitution of power","volume":"18","author":"Castelfranchi","year":"2003","journal-title":"Protosociology"},{"key":"2021080214460405200_ref17","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10058-007-0028-1","article-title":"On complexity of lobbying in multiple referenda","volume":"11","author":"Christian","year":"2007","journal-title":"Review of Economic Design"},{"key":"2021080214460405200_ref18","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s10849-016-9242-y","article-title":"Reflecting on social influence in networks","volume":"25","author":"Christoff","year":"2016","journal-title":"Journal of Logic, Language, and Information"},{"key":"2021080214460405200_ref19","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","article-title":"A logic for diffusion in social networks","volume":"13","author":"Christoff","year":"2015","journal-title":"Journal of Applied Logic"},{"key":"2021080214460405200_ref20","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.251.10","article-title":"Binary voting with delegable proxy: an analysis of liquid democracy","volume-title":"Proceedings of the 16th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2017)","author":"Christoff","year":"2017"},{"key":"2021080214460405200_ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-40948-6_6","article-title":"A two-tiered formalization of social influence","volume-title":"Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction (LORI-2013)","author":"Christoff","year":"2013"},{"key":"2021080214460405200_ref22","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1080\/01621459.1974.10480137","article-title":"Reaching a consensus","volume":"69","author":"de Groot","year":"1974","journal-title":"Journal of the American Statistical Association"},{"key":"2021080214460405200_ref23","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.joep.2019.04.009","article-title":"Contagion of pro- and anti-social behavior among peers and the role of social proximity","volume":"73","author":"Dimant","year":"2019","journal-title":"Journal of Economic Psychology"},{"key":"2021080214460405200_ref24","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1086\/211015","article-title":"The theory of imitation in social psychology","volume":"6","author":"Ellwood","year":"1901","journal-title":"American Journal of Sociology"},{"key":"2021080214460405200_ref25","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1037\/h0056932","article-title":"Informal social communication","volume":"57","author":"Festinger","year":"1950","journal-title":"Psychological Review"},{"key":"2021080214460405200_ref26","doi-asserted-by":"crossref","first-page":"523","DOI":"10.2307\/2951716","article-title":"Self-confirming equilibrium","volume":"61","author":"Fudenberg","year":"1993","journal-title":"Econometrica"},{"key":"2021080214460405200_ref27","article-title":"Agreeing to agree: reaching unanimity via preference dynamics based on reliable agents","volume-title":"Proceedings of the 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)","author":"Ghosh","year":"2015"},{"key":"2021080214460405200_ref28","article-title":"Binary aggregation with integrity constraints","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)","author":"Grandi","year":"2011"},{"key":"2021080214460405200_ref29","article-title":"Strategic disclosure of opinions on a social network","volume-title":"Proceedings of the 16th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2017)","author":"Grandi","year":"2017"},{"key":"2021080214460405200_ref30","article-title":"Propositional opinion diffusion","volume-title":"Proceedings of the 14th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015)","author":"Grandi","year":"2015"},{"key":"2021080214460405200_ref31","doi-asserted-by":"crossref","first-page":"1360","DOI":"10.1086\/225469","article-title":"The strength of weak ties","volume":"78","author":"Granovetter","year":"1973","journal-title":"American Journal of Sociology"},{"key":"2021080214460405200_ref32","doi-asserted-by":"crossref","first-page":"1420","DOI":"10.1086\/226707","article-title":"Threshold models of collective behavior","volume":"83","author":"Granovetter","year":"1978","journal-title":"American Journal of Sociology"},{"key":"2021080214460405200_ref33","article-title":"Manipulating Boolean games through communication","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-2011)","author":"Grant","year":"2011"},{"key":"2021080214460405200_ref34","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.ic.2015.03.011","article-title":"Iterated Boolean games","volume":"242","author":"Gutierrez","year":"2015","journal-title":"Information and Computation"},{"key":"2021080214460405200_ref35","article-title":"Boolean games","volume-title":"Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2001)","author":"Harrenstein","year":"2001"},{"key":"2021080214460405200_ref36","doi-asserted-by":"crossref","DOI":"10.1145\/1160633.1160666","article-title":"Knowing how to play: uniform choices in logics of agency","volume-title":"Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2006)","author":"Herzig","year":"2006"},{"key":"2021080214460405200_ref37","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-48561-3_13","article-title":"A poor man\u2019s epistemic logic based on propositional assignment and higher-order observation","volume-title":"Proceedings of the 4th International Workshop on Logic, Rationality, and Interaction (LORI-2015)","author":"Herzig","year":"2015"},{"key":"2021080214460405200_ref38","article-title":"What agents can achieve under incomplete information","volume-title":"Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)","author":"Jamroga","year":"2016"},{"key":"2021080214460405200_ref39","doi-asserted-by":"crossref","first-page":"1231","DOI":"10.2307\/2951500","article-title":"Subjective equilibrium in repeated games","volume":"61","author":"Kalai","year":"1993","journal-title":"Econometrica"},{"key":"2021080214460405200_ref40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-41575-3_18","article-title":"Judgment aggregation rules and voting rules","volume-title":"Proceedings of the 3rd International Conference on Algorithmic Decision Theory (ADT-2013)","author":"Lang","year":"2013"},{"key":"2021080214460405200_ref41","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8520-9","volume-title":"Rational Consensus in Science and Society","author":"Lehrer","year":"1981"},{"key":"2021080214460405200_ref42","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","article-title":"Logical dynamics of belief change in the community","volume":"191","author":"Liu","year":"2014","journal-title":"Synthese"},{"key":"2021080214460405200_ref43","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1093\/jigpal\/jzr039","article-title":"Grounding power on actions and mental attitudes","volume":"21","author":"Lorini","year":"2013","journal-title":"Logic Journal of the IGPL"},{"key":"2021080214460405200_ref44","article-title":"Reasoning about strategies","volume-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS-2010)","author":"Mogavero","year":"2010"},{"key":"2021080214460405200_ref45","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1016\/0022-1031(80)90070-0","article-title":"Studies in social influence: V. Minority influence and conversion behavior in a perceptual task","volume":"16","author":"Moscovici","year":"1980","journal-title":"Journal of Experimental Social Psychology"},{"key":"2021080214460405200_ref46","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1177\/000276426601000303","article-title":"The game of chicken","volume":"10","author":"Rapoport","year":"1966","journal-title":"American Behavioral Scientist"},{"key":"2021080214460405200_ref47","volume-title":"Diffusion of Innovations","author":"Rogers","year":"1983"},{"key":"2021080214460405200_ref48","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-25832-9_52","article-title":"A logic for knowledge flow in social networks","volume-title":"Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence (AI-2011)","author":"Ruan","year":"2011"},{"key":"2021080214460405200_ref49","volume-title":"Micromotives and Macrobehavior","author":"Schelling","year":"1978"},{"key":"2021080214460405200_ref50","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","article-title":"Alternating-time logic with imperfect recall","volume":"85","author":"Schobbens","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2021080214460405200_ref51","article-title":"Is promoting beliefs useful to make them accepted in networks of agents","volume-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-2016)","author":"Schwind","year":"2016"},{"key":"2021080214460405200_ref52","doi-asserted-by":"crossref","DOI":"10.1609\/aaai.v29i1.9415","article-title":"Belief revision games","volume-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI-2015)","author":"Schwind","year":"2015"},{"key":"2021080214460405200_ref53","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-48561-3_29","article-title":"Boolean network games and iterated Boolean games","volume-title":"Proceedings of the 5th International Workshop on Logic, Rationality and Interaction (LORI-2015)","author":"Seligman","year":"2015"},{"key":"2021080214460405200_ref54","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18026-2_15","article-title":"Logic in the community","volume-title":"Proceedings of the 4th Indian Conference on Logic and its Applications","author":"Seligman","year":"2011"},{"key":"2021080214460405200_ref55","article-title":"Facebook and the epistemic logic of friendship","volume-title":"Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2013)","author":"Seligman","year":"2013"},{"key":"2021080214460405200_ref56","doi-asserted-by":"crossref","first-page":"1095","DOI":"10.1073\/pnas.39.10.1953","article-title":"Stochastic games","volume":"39","author":"Shapley","year":"1953","journal-title":"Proceedings of the National Academy of Sciences of the United States of America"},{"key":"2021080214460405200_ref57","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","article-title":"The complexity of propositional linear temporal logics","volume":"32","author":"Sistla","year":"1985","journal-title":"Journal of the Association of Computing Machinery"},{"key":"2021080214460405200_ref58","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","article-title":"Games in dynamic-epistemic logic","volume":"53","author":"van Benthem","year":"2001","journal-title":"Bulletin of Economic Research"},{"key":"2021080214460405200_ref59","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","article-title":"Merging frameworks for interaction","volume":"38","author":"van Benthem","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"2021080214460405200_ref60","article-title":"Knowledge and control","volume-title":"Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2011)","author":"van der Hoek","year":"2011"},{"key":"2021080214460405200_ref61","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1016\/j.artint.2012.11.003","article-title":"Incentive engineering for Boolean games","volume":"195","author":"Wooldridge","year":"2013","journal-title":"Artificial Intelligence"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/4\/1129\/39536200\/exaa088.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/31\/4\/1129\/39536200\/exaa088.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,4]],"date-time":"2022-12-04T02:07:57Z","timestamp":1670119677000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/4\/1129\/6093035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,13]]},"references-count":61,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2021,1,13]]},"published-print":{"date-parts":[[2021,6,4]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exaa088","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2021,6]]},"published":{"date-parts":[[2021,1,13]]}}}