{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T08:19:53Z","timestamp":1780474793261,"version":"3.54.1"},"reference-count":35,"publisher":"Oxford University Press (OUP)","issue":"6","license":[{"start":{"date-parts":[[2022,3,11]],"date-time":"2022-03-11T00:00:00Z","timestamp":1646956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"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>In recent years, one of the major issues concerning the study of online social network phenomena is related to the diffusion of misinformation, commonly known as fake news. In the literature, several mathematical tools are used to investigate both the identifying attributes of fake news and their spreading model. This work concentrates on the latter aspect and follows the lines of research inspired by the analysis of epidemic models. Its main contribution is the definition of a modeling framework based on process algebra for the explicit, formal representation of typical behavioral patterns of agents in social networks, and the use of a probabilistic verification framework based on modal logics and model checking for the quantitative analysis of the fake news spread.<\/jats:p>","DOI":"10.1093\/logcom\/exac015","type":"journal-article","created":{"date-parts":[[2022,2,4]],"date-time":"2022-02-04T20:13:06Z","timestamp":1644005586000},"page":"1272-1291","source":"Crossref","is-referenced-by-count":3,"title":["On the modeling and verification of the spread of fake news, algebraically"],"prefix":"10.1093","volume":"32","author":[{"given":"Alessandro","family":"Aldini","sequence":"first","affiliation":[{"name":"Department of Pure and Applied Sciences , University of Urbino Carlo Bo, Urbino, 61029, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2022,3,11]]},"reference":[{"key":"2022082921481826100_ref1","first-page":"19","article-title":"A formal framework for modeling trust and reputation in collective adaptive systems","volume-title":"Workshop on FORmal Methods for the Quantitative Evaluation of Collective Adaptive SysTems, FORECAST 2016","author":"Aldini","year":"2016"},{"key":"2022082921481826100_ref2","article-title":"Design and verification of trusted collective adaptive systems","volume":"28","author":"Aldini","year":"2018","journal-title":"Transactions on Modeling and Computer Simulation (TOMACS)"},{"key":"2022082921481826100_ref3","first-page":"472","article-title":"Axiomatizing probabilistic processes: ACP with generative probabilities","volume-title":"CONCUR\u201992","author":"Baeten","year":"1992"},{"key":"2022082921481826100_ref4","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"2022082921481826100_ref5","volume-title":"The Mathematical Theory of Infectious Diseases and Its Applications","author":"Bailey","year":"1975"},{"key":"2022082921481826100_ref6","first-page":"237","article-title":"On the formal verification of diffusion phenomena in open dynamic agent networks","volume-title":"Procs. of the 2015 Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS)","author":"Belardinelli","year":"2015"},{"key":"2022082921481826100_ref7","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","article-title":"Model checking of probabilistic and nondeterministic systems","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"Bianco","year":"1995"},{"key":"2022082921481826100_ref8","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/IWCMC.2012.6314323","article-title":"Virtual currency and reputation-based cooperation incentives in user-centric networks","volume-title":"2012 8th International Wireless Communications and Mobile Computing Conference (IWCMC)","author":"Bogliolo","year":"2012"},{"key":"2022082921481826100_ref9","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.automatica.2018.11.023","article-title":"Opinion influence and evolution in social networks: a Markovian agents model","volume":"100","author":"Bolzern","year":"2019","journal-title":"Automatica"},{"key":"2022082921481826100_ref10","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1016\/S0304-3975(01)00344-9","article-title":"Discrete time generative\u2013reactive probabilistic processes with different advancing speeds","volume":"290","author":"Bravetti","year":"2003","journal-title":"Theoretical Computer Science"},{"key":"2022082921481826100_ref11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(88)90098-9","article-title":"Characterizing finite kripke structures in propositional temporal logic","volume":"59","author":"Browne","year":"1988","journal-title":"Theoretical Computer Science"},{"key":"2022082921481826100_ref12","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/978-3-319-74781-1_34","article-title":"Combining trust and aggregate computing","volume-title":"15th Int. Conf. on Software Engineering and Formal Methods","author":"Casadei","year":"2018"},{"key":"2022082921481826100_ref13","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1016\/j.scico.2018.07.006","article-title":"Towards attack-resistant aggregate computing using trust mechanisms","volume":"167","author":"Casadei","year":"2018","journal-title":"Science of Computer Programming"},{"key":"2022082921481826100_ref14","first-page":"185","article-title":"PRISM-games: a model checker for stochastic multi-player games","volume-title":"Procs. of the 19th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201913)","author":"Chen","year":"2013"},{"key":"2022082921481826100_ref15","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"Nusmv 2: an opensource tool for symbolic model checking","volume-title":"14th Conf. on Computer Aided Verification","author":"Cimatti","year":"2002"},{"key":"2022082921481826100_ref16","first-page":"30","article-title":"On generative parallel composition","volume-title":"PROBMIV\u201998, 1st Int. Workshop on Probabilistic Methods in Verification","author":"D\u2019Argenio","year":"1999"},{"key":"2022082921481826100_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-66412-1_30","article-title":"Model-checking information diffusion in social networks with PRISM","volume-title":"Procs. of the 17th European Workshop on Multiagent Systems","author":"Dennis","year":"2020"},{"key":"2022082921481826100_ref18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1038\/2041118a0","article-title":"Epidemics and rumours","volume":"204","author":"Daley","year":"1964","journal-title":"Nature"},{"key":"2022082921481826100_ref19","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1007\/BF01211866","article-title":"A logic for reasoning about time and reliability","volume":"6","author":"Hansson","year":"1994","journal-title":"Formal Aspects of Computing"},{"key":"2022082921481826100_ref20","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-030-29035-1_22","article-title":"A machine learning approach to fake news detection using knowledge verification and natural language processing","volume-title":"Advances in Intelligent Networking and Collaborative Systems (INCoS2019)","author":"Ibrishimova","year":"2020"},{"key":"2022082921481826100_ref21","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/978-3-030-37484-6_6","article-title":"Survey on social networks data analysis","volume-title":"Innovations for Community Services (I4CS2020)","author":"Jaffali","year":"2020"},{"key":"2022082921481826100_ref22","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: verification of probabilistic real-time systems","volume-title":"Proc. of the 23rd Int. Conf. on Computer Aided Verification (CAV\u201911)","author":"Kwiatkowska","year":"2011"},{"key":"2022082921481826100_ref23","first-page":"73","volume-title":"Probabilistic Model Checking: Advances and Applications","author":"Kwiatkowska","year":"2018"},{"key":"2022082921481826100_ref24","first-page":"238","article-title":"Model checking social network models","volume-title":"8th Symposium on Games, Automata, Logics and Formal Verification (GandALF\u201917)","author":"Pardo","year":"2017"},{"key":"2022082921481826100_ref25","volume-title":"Social Network Analysis in Telecommunications","author":"Pinheiro","year":"2011"},{"key":"2022082921481826100_ref26","article-title":"Model for evaluating fake news","volume-title":"2018 Int. Conf. on Cyber Conflict U.S","author":"Sample","year":"2018"},{"key":"2022082921481826100_ref27","first-page":"336","article-title":"Modelling and analysing social networks through formal methods and heuristic searches","volume-title":"Procs. of the 7th Int. Conf. on Software Paradigm Trends\u2014Volume 1: ICSOFT","author":"Santone","year":"2012"},{"key":"2022082921481826100_ref28","first-page":"107","article-title":"From knowledge to trust: a logical framework for pre-trust computations","volume-title":"12th IFIP Int. Conf. on Trust Management (IFIPTM)","author":"Tagliaferri","year":"2018"},{"key":"2022082921481826100_ref29","first-page":"571","article-title":"A taxonomy of computational models for trust computing in decision-making procedures","volume-title":"17th European Conf. on Cyber Warfare and Security (ECCWS)","author":"Tagliaferri","year":"2018"},{"key":"2022082921481826100_ref30","first-page":"977","article-title":"Fact-checking effect on viral hoaxes: A model of misinformation spread in social networks","volume-title":"Procs. of the 24th Int. Conf. on World Wide Web","author":"Tambuscio","year":"2015"},{"key":"2022082921481826100_ref31","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1006\/inco.1995.1123","article-title":"Reactive, generative, and stratified models of probabilistic processes","volume":"121","author":"Van Glabbeek","year":"1995","journal-title":"Information and Computation"},{"key":"2022082921481826100_ref32","doi-asserted-by":"crossref","first-page":"1146","DOI":"10.1126\/science.aap9559","article-title":"The spread of true and false news online","volume":"359","author":"Vosoughi","year":"2018","journal-title":"Science"},{"key":"2022082921481826100_ref33","doi-asserted-by":"crossref","DOI":"10.1140\/epjds\/s13688-020-00224-z","article-title":"Fake news propagates differently from real news even at early stages of spreading","volume":"9","author":"Zhao","year":"2020","journal-title":"EPJ Data Science"},{"key":"2022082921481826100_ref34","doi-asserted-by":"crossref","DOI":"10.1145\/3377478","article-title":"Fake news early detection: a theory-driven model","volume":"1","author":"Zhou","year":"2020","journal-title":"Digital Threats: Research and Practice"},{"key":"2022082921481826100_ref35","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1109\/TrustCom.2016.0084","article-title":"Model checking probabilistic network propagation protection strategies","volume-title":"2016 IEEE Trustcom\/BigDataSE\/ISPA","author":"Zonghao","year":"2016"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1272\/45608716\/exac015.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/32\/6\/1272\/45608716\/exac015.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T21:49:29Z","timestamp":1661809769000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/32\/6\/1272\/6546617"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,11]]},"references-count":35,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2022,3,11]]},"published-print":{"date-parts":[[2022,9,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac015","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,3,11]]}}}