{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T02:44:55Z","timestamp":1777603495296,"version":"3.51.4"},"reference-count":37,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,5,2]],"date-time":"2022-05-02T00:00:00Z","timestamp":1651449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/100020038","name":"The Carlsberg Foundation","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100020038","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Logics for social networks have been studied in the recent literature. This paper presents a framework based on dynamic term-modal logic ($\\textsf {DTML}$), a quantified variant of dynamic epistemic logic (DEL). In contrast with DEL where it is commonly known to whom agent names refer, $\\textsf {DTML}$ can represent dynamics with uncertainty about agent identity. We exemplify dynamics where such uncertainty and de re\/de dicto distinctions are key to social network epistemics. Technically, we show that $\\textsf {DTML}$ semantics can represent a popular class of hybrid logic epistemic social network models. We also show that $\\textsf {DTML}$ can encode previously discussed dynamics for which finding a complete logic was left open. As complete reduction axioms systems exist for $\\textsf {DTML}$, this yields a complete system for the dynamics in question.<\/jats:p>","DOI":"10.1093\/logcom\/exac019","type":"journal-article","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T13:32:27Z","timestamp":1644845547000},"page":"1067-1087","source":"Crossref","is-referenced-by-count":4,"title":["Reasoning about epistemic social network dynamics using dynamic term-modal logic"],"prefix":"10.1093","volume":"32","author":[{"given":"Andr\u00c9s","family":"Occhipinti Liberman","sequence":"first","affiliation":[{"name":"Artificial Intelligence and Machine Learning Group , Universitat Pompeu Fabra, Barcelona 08018, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus K","family":"Rendsvig","sequence":"additional","affiliation":[{"name":"Center for Information and Bubble Studies , University of Copenhagen, Copenhagen 2300S, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,5,2]]},"reference":[{"key":"2022082921481683100_ref1","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","article-title":"Logics for epistemic programs","volume":"139","author":"Baltag","year":"2004","journal-title":"Synthese"},{"key":"2022082921481683100_ref2","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s11225-018-9804-x","article-title":"Dynamic epistemic logics of diffusion and prediction in social networks","volume":"107","author":"Baltag","year":"2019","journal-title":"Studia Logica"},{"key":"2022082921481683100_ref3","first-page":"43","article-title":"The logic of public announcements, common knowledge, and private suspicions (extended abstract)","volume-title":"TARK \u201898: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge","author":"Baltag","year":"1998"},{"key":"2022082921481683100_ref4","article-title":"Frame correspondences in modal predicate logic","volume-title":"Proofs, Categories and Computations. Essays in Honor of Grigori Mints","author":"van Benthem","year":"2010"},{"key":"2022082921481683100_ref5","volume-title":"Modal Logic for Open Minds","author":"van Benthem","year":"2010"},{"key":"2022082921481683100_ref6","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communication and change","volume":"204","author":"van Benthem","year":"2006","journal-title":"Information and Computation"},{"key":"2022082921481683100_ref7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2022082921481683100_ref8","first-page":"87","article-title":"Seeing is believing: Formalising false-belief tasks in dynamic epistemic logic","volume-title":"European Conference on Social Intelligence (ECSI 2014)","author":"Bolander","year":"2014"},{"key":"2022082921481683100_ref9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","article-title":"Epistemic planning for single- and multi-agent systems","volume":"21","author":"Bolander","year":"2011","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2022082921481683100_ref10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and Its Proof-Theory","author":"Brauner","year":"2011"},{"key":"2022082921481683100_ref11","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1093\/logcom\/exy037","article-title":"Diffusion in social networks with recalcitrant agents","volume":"29","author":"Christoff","year":"2018","journal-title":"Journal of Logic and Computation"},{"key":"2022082921481683100_ref12","volume-title":"Dynamic Logics of Networks","author":"Christoff","year":"2016"},{"key":"2022082921481683100_ref13","first-page":"68","article-title":"A two-tiered formalization of social influence","volume-title":"LORI 2013","author":"Christoff","year":"2013"},{"key":"2022082921481683100_ref14","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":"2022082921481683100_ref15","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":"2022082921481683100_ref16","article-title":"Dynamic logics for threshold models and their epistemic extension","volume-title":"Proc. of ELISIEM (ESSLLI 2014)","author":"Christoff","year":"2014"},{"key":"2022082921481683100_ref17","first-page":"87","article-title":"Semantic results for ontic and epistemic change","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT 7)","author":"van Ditmarsch","year":"2008"},{"key":"2022082921481683100_ref18","first-page":"239","article-title":"General dynamic dynamic logic","volume-title":"Advances in Modal Logics","author":"Girard","year":"2012"},{"key":"2022082921481683100_ref19","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"Hintikka","year":"2005"},{"key":"2022082921481683100_ref20","doi-asserted-by":"crossref","first-page":"210","DOI":"10.24963\/ijcai.2020\/30","article-title":"Logics of allies and enemies: A formal approach to the dynamics of social balance theory","volume-title":"IJCAI 2020","author":"van der Hoek","year":"2020"},{"key":"2022082921481683100_ref21","first-page":"173","article-title":"Dynamic term-modal logic","volume-title":"A Meeting of the Minds, Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007","author":"Kooi","year":"2007"},{"key":"2022082921481683100_ref22","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":"2022082921481683100_ref23","doi-asserted-by":"crossref","first-page":"103305","DOI":"10.1016\/j.artint.2020.103305","article-title":"Dynamic term-modal logics for first-order epistemic planning","volume":"286","author":"Occhipinti Liberman","year":"2020","journal-title":"Artificial Intelligence"},{"key":"2022082921481683100_ref24","first-page":"4161","article-title":"Decidability results in first-order epistemic planning","volume-title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20","author":"Occhipinti Liberman","year":"2020"},{"key":"2022082921481683100_ref25","first-page":"63","article-title":"Diffusion, influence and best-response dynamics in networks: An action model approach","volume-title":"Proceedings of the ESSLLI 2014 Student Session","author":"Rendsvig","year":"2014"},{"key":"2022082921481683100_ref26","doi-asserted-by":"crossref","DOI":"10.1201\/9781315273822","volume-title":"Introduction to Model Theory","author":"Rothmaler","year":"2018"},{"key":"2022082921481683100_ref27","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/978-3-642-18026-2_15","article-title":"Logic in the community","volume-title":"Logic and Its Applications","author":"Seligman","year":"2011"},{"key":"2022082921481683100_ref28","first-page":"229","article-title":"Facebook and the epistemic logic of friendship","volume-title":"TARK 2013: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge","author":"Seligman","year":"2013"},{"key":"2022082921481683100_ref29","first-page":"377","article-title":"How to make friends: A logical approach to social group creation","volume-title":"Logic, Rationality, and Interaction\u20146th International Workshop, LORI 2017","author":"Smets","year":"2017"},{"key":"2022082921481683100_ref30","first-page":"171","article-title":"Dynamic logic","volume-title":"New Trends and Applications\u2014First International Workshop, DALI 2017","author":"Smets","year":"2018"},{"key":"2022082921481683100_ref31","volume-title":"An Essay in Modal Logic","author":"von Wright","year":"1951"},{"key":"2022082921481683100_ref32","volume-title":"On the Logic of Multicast Messaging and Balance in Social Networks","author":"Xiong","year":"2017"},{"key":"2022082921481683100_ref33","first-page":"1","article-title":"On the logic of balance in social networks","volume":"29","author":"Xiong","year":"2019","journal-title":"Journal of Logic, Language and Information"},{"key":"2022082921481683100_ref34","first-page":"324","article-title":"Further steps towards a logic of polarization in social networks","volume-title":"Logic and Argumentation CLAR 2020","author":"Young Pedersen","year":"2020"},{"key":"2022082921481683100_ref35","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/exab062","article-title":"Modal logics and group polarization","author":"Young Pedersen","year":"2021","journal-title":"Journal of Logic and Computation"},{"key":"2022082921481683100_ref36","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/j.entcs.2011.10.021","article-title":"A logical model of the dynamics of peer pressure","volume":"278","author":"Zhen","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2022082921481683100_ref37","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1007\/s11225-017-9762-8","article-title":"First-order modal logic: Frame definability and a Lindstr\u00f6m theorem","volume":"106","author":"Zoghifard","year":"2018","journal-title":"Studia Logica"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1067\/45608675\/exac019.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1067\/45608675\/exac019.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T21:49:42Z","timestamp":1661809782000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/6\/1067\/6575676"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,2]]},"references-count":37,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,5,2]]},"published-print":{"date-parts":[[2022,9,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac019","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,9]]},"published":{"date-parts":[[2022,5,2]]}}}