{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,27]],"date-time":"2025-12-27T14:58:51Z","timestamp":1766847531963,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030575052"},{"type":"electronic","value":"9783030575069"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-57506-9_10","type":"book-chapter","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T12:30:39Z","timestamp":1599741039000},"page":"119-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A Trust Logic for the Varieties of Trust"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3875-0512","authenticated-orcid":false,"given":"Mirko","family":"Tagliaferri","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7250-5011","authenticated-orcid":false,"given":"Alessandro","family":"Aldini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,10]]},"reference":[{"key":"10_CR1","volume-title":"The Logic and Limits of Trust","author":"B Barber","year":"1983","unstructured":"Barber, B.: The Logic and Limits of Trust. Rutgers University Press, New Brunswick (1983)"},{"key":"10_CR2","unstructured":"Bateson, P.: The biological evolution of cooperation and trust. In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 31\u201348. Blackwell (1988)"},{"key":"10_CR3","first-page":"97","volume":"9","author":"J van Benthem","year":"2012","unstructured":"van Benthem, J., Fern\u00e1ndez-Duque, D., Pacuit, E.: Evidence logic: a new look at neighborhood structures. Adv. Modal Logic 9, 97\u2013118 (2012)","journal-title":"Adv. Modal Logic"},{"key":"10_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BL Chellas","year":"1980","unstructured":"Chellas, B.L.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"10_CR5","volume-title":"Foundations of Social Theory","author":"J Coleman","year":"1990","unstructured":"Coleman, J.: Foundations of Social Theory. Harvard University Press, Cambridge (1990)"},{"key":"10_CR6","unstructured":"Dasgupta, P.: Trust as a commodity. In: Gambetta, D. (ed.) Trust: Making and Breaking Cooperative Relations, pp. 49\u201372. Blackwell (1988)"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1162\/JEEA.2009.7.2-3.235","volume":"7","author":"E Fehr","year":"2009","unstructured":"Fehr, E.: On the economics and biology of trust. J. Eur. Econ. Assoc. 7, 235\u2013266 (2009)","journal-title":"J. Eur. Econ. Assoc."},{"volume-title":"Trust: Making and Breaking Cooperative Relations","year":"1988","key":"10_CR8","unstructured":"Gambetta, D. (ed.): Trust: Making and Breaking Cooperative Relations. Blackwell, Hoboken (1988)"},{"key":"10_CR9","unstructured":"Hansen, H.H.: Monotonic modal logic. Master\u2019s thesis (2003)"},{"key":"10_CR10","volume-title":"Trust and Trustworthiness","author":"R Hardin","year":"2002","unstructured":"Hardin, R.: Trust and Trustworthiness. Russell Sage Foundation, New York (2002)"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1177\/0032329293021004006","volume":"21","author":"R Hardin","year":"1993","unstructured":"Hardin, R.: The street-level epistemology of trust. Polit. Soc. 21, 505\u2013529 (1993)","journal-title":"Polit. Soc."},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1080\/00048409412345881","volume":"72","author":"R Holton","year":"1994","unstructured":"Holton, R.: Deciding to trust, coming to believe. Australas. J. Philos. 72(1), 63\u201376 (1994)","journal-title":"Australas. J. Philos."},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1086\/667838","volume":"123","author":"K Jones","year":"2012","unstructured":"Jones, K.: Trustworthiness. Ethics 123(1), 61\u201385 (2012)","journal-title":"Ethics"},{"issue":"2","key":"10_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.2307\/2564672","volume":"96","author":"K Jones","year":"1999","unstructured":"Jones, K.: Second-hand moral knowledge. J. Philos. 96(2), 55\u201378 (1999)","journal-title":"J. Philos."},{"key":"10_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42337-1","volume-title":"Subjective Logic","author":"A J\u00f8sang","year":"2016","unstructured":"J\u00f8sang, A.: Subjective Logic. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-42337-1"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"J\u00f8sang, A.: Trust and reputation system. In: Aldini, A., Gorrieri, R. (eds.) Foundations of Security Analysis and Design IV, pp. 209\u2013245 (2007)","DOI":"10.1007\/978-3-540-74810-6_8"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"618","DOI":"10.1016\/j.dss.2005.05.019","volume":"43","author":"A J\u00f8sang","year":"2007","unstructured":"J\u00f8sang, A., Ismail, R., Boyd, C.: A survey of trust and reputation systems for online service provision. Decis. Support Syst. 43(2), 618\u2013644 (2007)","journal-title":"Decis. Support Syst."},{"key":"10_CR18","volume-title":"Groundwork of the Mataphysic of Morals","author":"I Kant","year":"1785","unstructured":"Kant, I.: Groundwork of the Mataphysic of Morals. Cambridge University Press, Cambridge (1785)"},{"key":"10_CR19","unstructured":"Levi, M.: A state of trust. In: Braithwaite, V., Levi, M., Cook, K.S., Hardin, R. (eds.) Trust and Governance, pp. 77\u2013101. Russell Sage Foundation (1998)"},{"key":"10_CR20","volume-title":"Trust and Power","author":"N Luhmann","year":"1979","unstructured":"Luhmann, N.: Trust and Power. Wiley, Hoboken (1979)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Mansbridge, J.: Altruistic trust. In: Warren, M.E. (ed.) Democracy and Trust. Cambridge University Press, pp. 290\u2013309 (1999)","DOI":"10.1017\/CBO9780511659959.010"},{"key":"10_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511606250","volume-title":"Autonomy and Trust in Bioethics","author":"O O\u2019Neill","year":"2002","unstructured":"O\u2019Neill, O.: Autonomy and Trust in Bioethics. Cambridge University Press, Cambridge (2002)"},{"key":"10_CR23","unstructured":"Ostrom, E., James, W. (eds.) Trust and Reciprocity. In: Russell Sage Foundation Series on Trust, vol. VI (2005)"},{"key":"10_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"E Pacuit","year":"2017","unstructured":"Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67149-9"},{"issue":"10","key":"10_CR25","doi-asserted-by":"publisher","first-page":"972","DOI":"10.1111\/soc4.12391","volume":"10","author":"BG Robbins","year":"2016","unstructured":"Robbins, B.G.: What is trust? A multidisciplinary review, critique, and synthesis. Sociol. Compass 10(10), 972\u2013986 (2016)","journal-title":"Sociol. Compass"},{"key":"10_CR26","unstructured":"Robbins, B.G.: On the origins of trust. Ph.D. thesis, University of Washington (2014)"},{"key":"10_CR27","volume-title":"The Strategy of Conflict","author":"T Schelling","year":"1960","unstructured":"Schelling, T.: The Strategy of Conflict. Harvard University Press, Cambridge (1960)"},{"key":"10_CR28","unstructured":"Tagliaferri, M.: A logical language for computational trust. Ph.D. thesis, University of Urbino (2019)"},{"key":"10_CR29","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-95276-5_8","volume-title":"Trust Management XII","author":"M Tagliaferri","year":"2018","unstructured":"Tagliaferri, M., Aldini, A.: From knowledge to trust: a logical framework for pre-trust computations. In: Gal-Oz, N., Lewis, P.R. (eds.) IFIPTM 2018. IAICT, vol. 528, pp. 107\u2013123. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-95276-5_8"},{"key":"10_CR30","doi-asserted-by":"crossref","unstructured":"Tagliaferri, M., Aldini, A.: A trust logic for pre-trust computations. In: Proceedings of the 21th International Conference on Information Fusion (Fusion 2018), pp. 2010\u20132016. IEEE (2018)","DOI":"10.23919\/ICIF.2018.8455621"},{"issue":"1","key":"10_CR31","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1086\/406755","volume":"46","author":"RL Trivers","year":"1971","unstructured":"Trivers, R.L.: The evolution of reciprocal altruism. Q. Rev. Biol. 46(1), 35\u201357 (1971)","journal-title":"Q. Rev. Biol."},{"key":"10_CR32","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195130614.001.0001","volume-title":"Natural Selection and Social Theory: Selected Papers of Robert Trivers","author":"RL Trivers","year":"2002","unstructured":"Trivers, R.L.: Natural Selection and Social Theory: Selected Papers of Robert Trivers. Oxford University Press, Oxford (2002)"},{"key":"10_CR33","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-319-22261-5_4","volume-title":"Interdisciplinary Perspectives on Trust","author":"EM Uslaner","year":"2016","unstructured":"Uslaner, E.M.: Who do you trust? In: Shockley, E., Neal, T.M.S., PytlikZillig, L.M., Bornstein, B.H. (eds.) Interdisciplinary Perspectives on Trust, pp. 71\u201383. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-22261-5_4"},{"key":"10_CR34","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1057\/eps.2003.18","volume":"2","author":"EM Uslaner","year":"2003","unstructured":"Uslaner, E.M.: Varieties of trust. Eur. Polit. Sci. 2, 43\u201349 (2003). https:\/\/doi.org\/10.1057\/eps.2003.18","journal-title":"Eur. Polit. Sci."},{"issue":"2","key":"10_CR35","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1086\/467284","volume":"36","author":"O Williamson","year":"1993","unstructured":"Williamson, O.: Calculativeness, trust, and economic organization. J. Law Econ. 36(2), 453\u2013486 (1993)","journal-title":"J. Law Econ."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57506-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,13]],"date-time":"2024-08-13T15:09:48Z","timestamp":1723561788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57506-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030575052","9783030575069"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57506-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 September 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","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":"16 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"45","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}