{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T21:59:07Z","timestamp":1765231147179},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662602911"},{"type":"electronic","value":"9783662602928"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-60292-8_13","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:09:52Z","timestamp":1570576192000},"page":"168-182","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic Term-Modal Logic for Epistemic Social Network Dynamics"],"prefix":"10.1007","author":[{"given":"Andr\u00e9s Occhipinti","family":"Liberman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rasmus K.","family":"Rendsvig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Liberman, A.O., Rendsvig, R.K.: Dynamic Term-Modal Logic for Epistemic Social Network Dynamics (Extended). arXiv:1908.09658 (2019)","DOI":"10.1007\/978-3-662-60292-8_13"},{"key":"13_CR2","unstructured":"Achen, A., Liberman, A.O., Rendsvig, R.K.: Dynamic term-modal logics for epistemic planning. arXiv:1906.06047 (2019, under review)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s11225-018-9804-x","volume":"107","author":"A Baltag","year":"2018","unstructured":"Baltag, A., Christoff, Z.: Dynamic epistemic logics of diffusion and prediction in social networks. Stud. Logica 107(3), 489\u2013531 (2018)","journal-title":"Stud. Logica"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"13_CR5","unstructured":"Baltag, A., Moss, L.S., Solecki, S.S.: The logic of public announcements, common knowledge, and private suspicions. In: TARK 1998, pp. 43\u201356 (1998)"},{"issue":"11","key":"13_CR6","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthemvan Benthem","year":"2006","unstructured":"Benthemvan Benthem, J., Eijckvan Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"key":"13_CR7","unstructured":"Bolander, T.: Seeing is believing: formalising false-belief tasks in dynamic epistemic logic. In: ECSI, vol. 1283, pp. 87\u2013107 (2014)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., Andersen, M.B.: Epistemic planning for single- and multi-agent systems. J. Appl. Non-Class. Log. 21(1), 9\u201334 (2011)","journal-title":"J. Appl. Non-Class. Log."},{"key":"13_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and Its Proof-Theory","author":"T Brauner","year":"2011","unstructured":"Brauner, T.: Hybrid Logic and Its Proof-Theory. Springer, Dordrecht (2011)"},{"key":"13_CR10","unstructured":"Christoff, Z.: Dynamic logics of networks. Ph.D. thesis, University of Amsterdam (2016)"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-40948-6_6","volume-title":"Logic, Rationality, and Interaction","author":"Z Christoff","year":"2013","unstructured":"Christoff, Z., Hansen, J.U.: A two-tiered formalization of social influence. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 68\u201381. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40948-6_6"},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","volume":"13","author":"Z Christoff","year":"2015","unstructured":"Christoff, Z., Hansen, J.U.: A logic for diffusion in social networks. J. Appl. Log. 13, 48\u201377 (2015)","journal-title":"J. Appl. Log."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/s10849-016-9242-y","volume":"25","author":"Z Christoff","year":"2016","unstructured":"Christoff, Z., Hansen, J.U., Proietti, C.: Reflecting on social influence in networks. J. Log. Lang. Inf. 25, 299\u2013333 (2016)","journal-title":"J. Log. Lang. Inf."},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1093\/logcom\/exy037","volume":"29","author":"Z Christoff","year":"2018","unstructured":"Christoff, Z., Naumov, P.: Diffusion in social networks with recalcitrant agents. J. Log. Comput. 29(1), 53\u201370 (2018)","journal-title":"J. Log. Comput."},{"key":"13_CR15","unstructured":"Christoff, Z., Rendsvig, R.K.: Dynamic logics for threshold models and their epistemic extension. In: Proceedings of ELISIEM (2014)"},{"key":"13_CR16","unstructured":"Ditmarschvan Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, vol. 3, pp. 87\u2013117. Amsterdam University Press (2008)"},{"key":"13_CR17","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. College Publications (1962). 2nd edn. 2005"},{"key":"13_CR18","unstructured":"Kooi, B.: Dynamic term-modal logic. In: LORI 2007. Texts in Computer Science 8, pp. 173\u2013185 (2007)"},{"key":"13_CR19","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.entcs.2011.10.021","volume":"278","author":"L Zhen","year":"2011","unstructured":"Zhen, L., Seligman, J.: A logical model of the dynamics of peer pressure. Electron. Notes Theor. Comput. Sci. 278, 275\u2013288 (2011)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"11","key":"13_CR20","doi-asserted-by":"publisher","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","volume":"191","author":"F Liu","year":"2014","unstructured":"Liu, F., Seligman, J., Girard, P.: Logical dynamics of belief change in the community. Synthese 191(11), 2403\u20132431 (2014)","journal-title":"Synthese"},{"key":"13_CR21","unstructured":"Rendsvig, R.K.: Diffusion, influence and best-response dynamics in networks: an action model approach. In: ESSLLI 2014 Student Session, pp. 63\u201375. arXiv:1708.01477 (2014)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-642-18026-2_15","volume-title":"Logic and Its Applications","author":"J Seligman","year":"2011","unstructured":"Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Banerjee, M., Seth, A. (eds.) ICLA 2011. LNCS (LNAI), vol. 6521, pp. 178\u2013188. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-18026-2_15"},{"key":"13_CR23","unstructured":"Seligman, J., Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: TARK 2013, pp. 229\u2013238 (2013)"},{"key":"13_CR24","unstructured":"Seligman, J., Liu, F., Girard, P.: General dynamic dynamic logic. In: Advances in Modal Logic, vol. 9, pp. 239\u2013260. Springer (2012)"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-662-55665-8_26","volume-title":"Logic, Rationality, and Interaction","author":"S Smets","year":"2017","unstructured":"Smets, S., Vel\u00e1zquez-Quesada, F.R.: How to make friends: a logical approach to social group creation. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 377\u2013390. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_26"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-319-73579-5_11","volume-title":"Dynamic Logic. New Trends and Applications","author":"S Smets","year":"2018","unstructured":"Smets, S., Vel\u00e1zquez-Quesada, F.R.: The creation and change of social networks: a logical study based on group size. In: Madeira, A., Benevides, M. (eds.) DALI 2017. LNCS, vol. 10669, pp. 171\u2013184. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73579-5_11"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:32:23Z","timestamp":1575851543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}