{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T18:25:02Z","timestamp":1770229502469,"version":"3.49.0"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T00:00:00Z","timestamp":1750377600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T00:00:00Z","timestamp":1750377600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/501100021856","name":"Ministero dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["H53D23003710006"],"award-info":[{"award-number":["H53D23003710006"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["H53D23008170001"],"award-info":[{"award-number":["H53D23008170001"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soc. Netw. Anal. Min."],"DOI":"10.1007\/s13278-025-01472-5","type":"journal-article","created":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T03:02:47Z","timestamp":1750388567000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Logic-based analysis of fake news diffusion on social media"],"prefix":"10.1007","volume":"15","author":[{"given":"Valeria","family":"Fionda","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,20]]},"reference":[{"issue":"1","key":"1472_CR1","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/s13278-023-01028-5","volume":"13","author":"Esma A\u00efmeur","year":"2023","unstructured":"A\u00efmeur Esma, Amri Sabrine, Brassard Gilles (2023) Fake news, disinformation and misinformation in social media: a review. Soc Netw Anal Min 13(1):30","journal-title":"Soc Netw Anal Min"},{"issue":"3","key":"1472_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E Allen Emerson","year":"1982","unstructured":"Allen Emerson E, Clarke Edmund M (1982) Using branching time temporal logic to synthesize synchronization skeletons. Sci Comput Program 2(3):241\u2013266","journal-title":"Sci Comput Program"},{"issue":"1\u20132","key":"1472_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1018985923441","volume":"22","author":"Fahiem Bacchus","year":"1998","unstructured":"Bacchus Fahiem, Kabanza Froduald (1998) Planning for temporally extended goals. Ann Math Artif Intell 22(1\u20132):5\u201327","journal-title":"Ann Math Artif Intell"},{"issue":"23","key":"1472_CR4","doi-asserted-by":"publisher","first-page":"35781","DOI":"10.1007\/s11042-023-14883-3","volume":"82","author":"Sarita V Balshetwar","year":"2023","unstructured":"Balshetwar Sarita V, Abilash RS, Dani Jermisha R (2023) Fake news detection in social media based on sentiment analysis using classifier techniques. Multim. Tools Appl. 82(23):35781\u201335811","journal-title":"Multim. Tools Appl."},{"key":"1472_CR5","doi-asserted-by":"crossref","unstructured":"Bhutani Bhavika, Rastogi Neha, Sehgal Priyanshu, Purwar Archana (2019) Fake news detection using sentiment analysis. In IC3, pages 1\u20135. IEEE","DOI":"10.1109\/IC3.2019.8844880"},{"issue":"3","key":"1472_CR6","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1177\/00113921211034896","volume":"71","author":"Paul Bleakley","year":"2023","unstructured":"Bleakley Paul (2023) Panic, pizza and mainstreaming the alt-right: a social media analysis of pizzagate and the rise of the qanon conspiracy. Curr Sociol 71(3):509\u2013525","journal-title":"Curr Sociol"},{"key":"1472_CR7","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2011.VII.003","volume-title":"Controlling wild bodies using linear temporal logic","author":"Leonardo Bobadilla","year":"2011","unstructured":"Bobadilla Leonardo, Sanchez Oscar, Czarnowski Justin, Gossman Katrina, LaValle Steven M (2011) Controlling wild bodies using linear temporal logic. Science and Systems, In Robotics"},{"key":"1472_CR8","first-page":"593","volume":"2","author":"Diego Calvanese","year":"2002","unstructured":"Calvanese Diego, De Giacomo Giuseppe, Vardi Moshe Y (2002) Reasoning about actions and planning in LTL action theories. In KR 2:593\u2013602","journal-title":"In KR"},{"issue":"3","key":"1472_CR9","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1073\/pnas.1517441113","volume":"113","author":"Michela Del Vicario","year":"2016","unstructured":"Del Vicario Michela, Bessi Alessandro, Zollo Fabiana, Petroni Fabio, Scala Antonio, Guido Caldarelli H, Stanley Eugene, Quattrociocchi Walter (2016) The spreading of misinformation online. Proc Natl Acad Sci 113(3):554\u2013559","journal-title":"Proc Natl Acad Sci"},{"issue":"5","key":"1472_CR10","doi-asserted-by":"publisher","first-page":"1244","DOI":"10.1109\/TAC.2014.2298143","volume":"59","author":"XuChu Ding","year":"2014","unstructured":"Ding XuChu, Smith Stephen L, Belta Calin, Rus Daniela (2014) Optimal control of markov decision processes with linear temporal logic constraints. IEEE Trans Autom Control 59(5):1244\u20131257","journal-title":"IEEE Trans Autom Control"},{"key":"1472_CR11","doi-asserted-by":"crossref","unstructured":"Enders Adam M, Uscinski Joseph E, Klofstad Casey, Stoler Justin (2020) The different forms of covid-19 misinformation and their consequences. Harvard Kennedy School (HKS) Misinformation Review","DOI":"10.37016\/mr-2020-48"},{"key":"1472_CR12","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1609\/aaai.v30i1.10104","volume":"30","author":"Valeria Fionda","year":"2016","unstructured":"Fionda Valeria, Greco Gianluigi (2016) The complexity of LTL on finite traces: hard and easy fragments. In AAAI 30:971\u2013977","journal-title":"In AAAI"},{"key":"1472_CR13","doi-asserted-by":"crossref","unstructured":"Fionda Valeria, Pirr\u00f2 Giuseppe (2018) Fact checking via evidence patterns. In IJCAI, pages 3755\u20133761","DOI":"10.24963\/ijcai.2018\/522"},{"key":"1472_CR14","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1613\/jair.1.11256","volume":"63","author":"Valeria Fionda","year":"2018","unstructured":"Fionda Valeria, Greco Gianluigi (2018) LTL on finite and process traces: complexity results and a practical reasoner. J. Artif. Intell. Res. 63:557\u2013623","journal-title":"J. Artif. Intell. Res."},{"issue":"5","key":"1472_CR15","first-page":"898","volume":"32","author":"Valeria Fionda","year":"2020","unstructured":"Fionda Valeria, Guzzo Antonella (2020) Control-flow modeling with declare: behavioral properties, computational complexity, and tools. IEEE TKDE 32(5):898\u2013911","journal-title":"IEEE TKDE"},{"key":"1472_CR16","unstructured":"Giacomo Giuseppe De, Vardi Moshe Y (2013) Linear temporal logic and linear dynamic logic on finite traces. In IJCAI, pages 854\u2013860"},{"key":"1472_CR17","unstructured":"Grandi Umberto, Lorini Emiliano, Novaro Arianna, Perrussel Laurent (2017) Strategic disclosure of opinions on a social network. In AAMAS, pages 1196\u20131204"},{"key":"1472_CR18","doi-asserted-by":"crossref","unstructured":"Hamdi Tarek, Slimi Hamda, Bounhas Ibrahim, Slimani Yahya (2020) A hybrid approach for fake news detection in twitter based on user features and graph embedding. In: ICDCIT, volume 11969 of Lecture Notes in Computer Science, pages 266\u2013280","DOI":"10.1007\/978-3-030-36987-3_17"},{"key":"1472_CR19","doi-asserted-by":"crossref","unstructured":"Jiang Shengyi, Chen Xiaoting, Zhang Liming, Chen Sutong, Liu Haonan (2019) User-characteristic enhanced model for fake news detection in social media. In: NLPCC (1), volume 11838 of Lecture Notes in Computer Science, 634\u2013646","DOI":"10.1007\/978-3-030-32233-5_49"},{"key":"1472_CR20","first-page":"626","volume-title":"ICWSM","author":"Shu Kai","year":"2020","unstructured":"Kai Shu, Deepak Mahudeswaran, Suhang Wang, Huan Liu (2020) Hierarchical propagation networks for fake news detection: Investigation and exploitation. ICWSM. AAAI Press, pp 626\u2013637"},{"key":"1472_CR21","first-page":"637","volume-title":"WSDM","author":"Wu Liang","year":"2018","unstructured":"Liang Wu, Huan Liu (2018) Tracing fake-news footprints: Characterizing social media messages by how they propagate. WSDM. ACM, pp 637\u2013645"},{"key":"1472_CR22","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.aiopen.2022.09.001","volume":"3","author":"Hu Linmei","year":"2022","unstructured":"Linmei Hu, Wei Siqi, Zhao Ziwang, Bin Wu (2022) Deep learning for fake news detection: a comprehensive survey. AI Open 3:133\u2013155","journal-title":"AI Open"},{"key":"1472_CR23","doi-asserted-by":"crossref","unstructured":"Liu Yang, Wu Yi-fang Brook (2018) Early detection of fake news on social media through propagation path classification with recurrent and convolutional networks. In: AAAI, pages 354\u2013361. AAAI Press","DOI":"10.1609\/aaai.v32i1.11268"},{"issue":"6","key":"1472_CR24","doi-asserted-by":"publisher","first-page":"1088","DOI":"10.1093\/logcom\/exac023","volume":"32","author":"Vitor Machado","year":"2022","unstructured":"Machado Vitor, Benevides Mario R. F (2022) Temporal logic for social networks. J Log Comput 32(6):1088\u20131108","journal-title":"J Log Comput"},{"key":"1472_CR25","doi-asserted-by":"crossref","unstructured":"Ma Jing, Gao Wei, Wong Kam-Fai (2017) Detect rumors in microblog posts using propagation structure via kernel learning. In: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 1, 708\u2013717","DOI":"10.18653\/v1\/P17-1066"},{"key":"1472_CR26","doi-asserted-by":"crossref","unstructured":"Maggi Fabrizio Maria, Westergaard Michael, Montali Marco, van der Aalst Wil MP (2011) Runtime verification of ltl-based declarative process models. In: RV, volume 7186 of Lecture Notes in Computer Science, pages 131\u2013146. Springer","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"1472_CR27","first-page":"747","volume-title":"ICWSM","author":"Paraschiv Marius","year":"2022","unstructured":"Marius Paraschiv, Nikos Salamanos, Costas Iordanou, Nikolaos Laoutaris, Michael Sirivianos (2022) A unified graph-based approach to disinformation detection using contextual and semantic relations. ICWSM. AAAI Press, pp 747\u2013758"},{"key":"1472_CR28","first-page":"1381","volume-title":"ICWSM","author":"Salamanos Nikos","year":"2024","unstructured":"Nikos Salamanos, Pantelitsa Leonidou, Nikolaos Laoutaris, Michael Sirivianos, Maria Aspri, Marius Paraschiv (2024) Hypergraphdis: Leveraging hypergraphs for contextual and social-based disinformation detection. ICWSM. AAAI Press, pp 1381\u20131394"},{"key":"1472_CR29","doi-asserted-by":"crossref","unstructured":"Pnueli Amir (1977) The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pages 46\u201357. IEEE Computer Society","DOI":"10.1109\/SFCS.1977.32"},{"issue":"6","key":"1472_CR30","doi-asserted-by":"publisher","first-page":"1292","DOI":"10.1093\/logcom\/exac020","volume":"32","author":"Lorenzo Prandi","year":"2022","unstructured":"Prandi Lorenzo, Primiero Giuseppe (2022) A logic for biassed information diffusion by paranoid agents in social networks. J Log Comput 32(6):1292\u20131315","journal-title":"J Log Comput"},{"key":"1472_CR31","first-page":"6086","volume-title":"LREC","author":"Oshikawa Ray","year":"2020","unstructured":"Ray Oshikawa, Jing Qian, Yang Wang William (2020) A survey on natural language processing for fake news detection. LREC. European Language Resources Association, pp 6086\u20136093"},{"key":"1472_CR32","first-page":"261","volume-title":"AAAI","author":"Sohrabi Shirin","year":"2011","unstructured":"Shirin Sohrabi, Baier Jorge A, McIlraith Sheila A (2011) Preferred explanations: Theory and generation via planning. AAAI. AAAI Press, pp 261\u2013267"},{"issue":"5","key":"1472_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2021.102618","volume":"58","author":"Amila Silva","year":"2021","unstructured":"Silva Amila, Han Yi, Luo Ling, Karunasekera Shanika, Leckie Christopher (2021) Propagation2vec: embedding partial propagation networks for explainable fake news early detection. Inf Process Manag 58(5):102618","journal-title":"Inf Process Manag"},{"issue":"6","key":"1472_CR34","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2021.102712","volume":"58","author":"Chenguang Song","year":"2021","unstructured":"Song Chenguang, Shu Kai, Bin Wu (2021) Temporally evolving graph neural network for fake news detection. Inf Process Manag 58(6):102712","journal-title":"Inf Process Manag"},{"key":"1472_CR35","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1016\/j.neucom.2022.07.057","volume":"505","author":"Chenguang Song","year":"2022","unstructured":"Song Chenguang, Teng Yiyang, Zhu Yangfu, Wei Siqi, Bin Wu (2022) Dynamic graph neural network for fake news detection. Neurocomputing 505:362\u2013374","journal-title":"Neurocomputing"},{"key":"1472_CR36","volume-title":"COMPLEX NETWORKS, volume to appear of Studies in Computational Intelligence","author":"Fionda Valeria","year":"2024","unstructured":"Valeria Fionda (2024) Characterize fake news diffusion patterns using temporal logic rules. COMPLEX NETWORKS, volume to appear of Studies in Computational Intelligence. Springer"},{"key":"1472_CR37","first-page":"250","volume-title":"POPL","author":"Y Vardi Moshe","year":"1988","unstructured":"Vardi Moshe Y (1988) A temporal fixpoint calculus. POPL. ACM Press, pp 250\u2013259"},{"issue":"6380","key":"1472_CR38","doi-asserted-by":"publisher","first-page":"1146","DOI":"10.1126\/science.aap9559","volume":"359","author":"Soroush Vosoughi","year":"2018","unstructured":"Vosoughi Soroush, Roy Deb, Aral Sinan (2018) The spread of true and false news online. Science 359(6380):1146\u20131151","journal-title":"Science"},{"issue":"5","key":"1472_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3395046","volume":"53","author":"Zhou Xinyi","year":"2021","unstructured":"Xinyi Zhou, Reza Zafarani (2021) A survey of fake news: fundamental theories, detection methods, and opportunities. ACM Comput Surv 53(5):1\u201340","journal-title":"ACM Comput Surv"},{"key":"1472_CR40","doi-asserted-by":"crossref","unstructured":"Xu Zhe, Nettekoven Alexander J, Julius A Agung, Topcu Ufuk (2019) Graph temporal logic inference for classification and identification. In: CDC, pages 4761\u20134768. IEEE","DOI":"10.1109\/CDC40024.2019.9029181"},{"issue":"1","key":"1472_CR41","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","volume":"13","author":"Christoff Zo\u00e9","year":"2015","unstructured":"Zo\u00e9 Christoff, Ulrik Hansen Jens (2015) A logic for diffusion in social networks. J Appl Log 13(1):48\u201377","journal-title":"J Appl Log"}],"container-title":["Social Network Analysis and Mining"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13278-025-01472-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13278-025-01472-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13278-025-01472-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,17]],"date-time":"2025-12-17T08:27:29Z","timestamp":1765960049000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13278-025-01472-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,20]]},"references-count":41,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["1472"],"URL":"https:\/\/doi.org\/10.1007\/s13278-025-01472-5","relation":{},"ISSN":["1869-5469"],"issn-type":[{"value":"1869-5469","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,6,20]]},"assertion":[{"value":"30 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 May 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 June 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"59"}}