{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T13:20:39Z","timestamp":1771075239441,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540928027","type":"print"},{"value":"9783540928034","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92803-4_11","type":"book-chapter","created":{"date-parts":[[2008,12,22]],"date-time":"2008-12-22T13:53:54Z","timestamp":1229954034000},"page":"205-225","source":"Crossref","is-referenced-by-count":12,"title":["From Binary Trust to Graded Trust in Information Sources: A Logical Perspective"],"prefix":"10.1007","author":[{"given":"Emiliano","family":"Lorini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Demolombe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the future: agents and choices in our indeterminist world","author":"N. Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford University Press, New York (2001)"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"11_CR3","unstructured":"Bratman, M.: Intentions, plans, and practical reason. Harvard University Press (1987)"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/77648.77649","volume":"8","author":"M. Burrows","year":"1990","unstructured":"Burrows, M., Abadi, M., Needham, R.M.: A logic of authentication. ACM Transactions on Computer Systems\u00a08(1), 18\u201336 (1990)","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. In: Proceedings of the Third International Conference on Multiagent Systems (ICMAS 1998), pp. 72\u201379 (1998)","DOI":"10.1109\/ICMAS.1998.699034"},{"key":"11_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: an introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal logic: an introduction. Cambridge University Press, Cambridge (1980)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","DOI":"10.1016\/0004-3702(90)90055-5"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/11533092_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Dastani","year":"2005","unstructured":"Dastani, M., Herzig, A., Hulstijn, J., van der Torre, L.: Inferring trust. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 144\u2013160. Springer, Heidelberg (2005)"},{"key":"11_CR9","volume-title":"Trust and Deception in Virtual Societies","author":"R. Demolombe","year":"1999","unstructured":"Demolombe, R.: To trust information sources: a proposal for a modal logical framework. In: Castelfranchi, C., Tan, Y.-H. (eds.) Trust and Deception in Virtual Societies. Kluwer, Dordrecht (1999)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-540-24747-0_22","volume-title":"Trust Management","author":"R. Demolombe","year":"2004","unstructured":"Demolombe, R.: Reasoning about trust: a formal logical framework. In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 291\u2013303. Springer, Heidelberg (2004)"},{"key":"11_CR11","unstructured":"Demolombe, R., Lorini, E.: A logical account of trust in information sources. In: Proceedings of the Eleventh International Workshop on Trust in Agent Societies (2008)"},{"issue":"2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin, R., Halpern, J.: Reasoning about knowledge and probability. Journal of the Association for Computing Machinery\u00a041(2), 340\u2013367 (1994)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-94-017-3614-5_3","volume-title":"Trust and Deception in Virtual Societies","author":"R. Falcone","year":"2001","unstructured":"Falcone, R., Castelfranchi, C.: Social trust: A cognitive approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55\u201390. Kluwer, Dordrecht (2001)"},{"key":"11_CR15","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis, University of Amsterdam, The Netherlands (1999)"},{"key":"11_CR16","volume-title":"Reasoning about uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning about uncertainty. MIT Press, Cambridge (2003)"},{"key":"11_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"11_CR18","volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002)","author":"A. Herzig","year":"2002","unstructured":"Herzig, A., Longin, D.: Sensing and revision in a modal logic of belief and action. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002). IOS Press, Amsterdam (2002)"},{"key":"11_CR19","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, New York (1962)"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10458-005-6825-4","volume":"13","author":"T.G. Huynh","year":"2006","unstructured":"Huynh, T.G., Jennings, N.R., Shadbolt, N.R.: An integrated trust and reputation model for open multi-agent systems. Journal of Autonomous Agent and Multi-Agent Systems\u00a013, 119\u2013154 (2006)","journal-title":"Journal of Autonomous Agent and Multi-Agent Systems"},{"issue":"3","key":"11_CR21","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0167-9236(02)00013-1","volume":"33","author":"A.J.I. Jones","year":"2002","unstructured":"Jones, A.J.I.: On the concept of trust. Decision Support Systems\u00a033(3), 225\u2013232 (2002)","journal-title":"Decision Support Systems"},{"key":"11_CR22","first-page":"55","volume-title":"Trust and Deception in Virtual Societies","author":"A.J.I. Jones","year":"2001","unstructured":"Jones, A.J.I., Firozabadi, B.S.: On the characterization of a trusting agent: Aspects of a formal approach. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 55\u201390. Kluwer, Dordrecht (2001)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/3-540-48437-X_18","volume-title":"Multi-Agent System Engineering","author":"C.M. Jonker","year":"1999","unstructured":"Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol.\u00a01647, pp. 221\u2013231. Springer, Heidelberg (1999)"},{"issue":"3","key":"11_CR24","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1142\/S0218488501000831","volume":"9","author":"A. J\u00f8sang","year":"2001","unstructured":"J\u00f8sang, A.: A logic for uncertain probabilities. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a09(3), 279\u2013311 (2001)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Laverny, N., Lang, J.: From knowledge-based programs to graded belief-based programs, part ii: off-line reasoning. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI 2005), pp. 497\u2013502. Professional Book Center (2005)","DOI":"10.1007\/1-4020-4631-6_8"},{"key":"11_CR26","unstructured":"Lewis, D.: Counterfactuals. Harvard University Press (1973)"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"C.J. Liau","year":"2003","unstructured":"Liau, C.J.: Belief, information acquisition, and trust in multi-agent systems: a modal logic formulation. Artificial Intelligence\u00a0149, 31\u201360 (2003)","journal-title":"Artificial Intelligence"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-540-70525-3_6","volume-title":"Deontic Logic in Computer Science","author":"E. Lorini","year":"2008","unstructured":"Lorini, E., Demolombe, R.: Trust and norms in the context of computer security: A logical formalization. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS, vol.\u00a05076, pp. 50\u201364. Springer, Heidelberg (2008)"},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese\u00a0163(1), 45\u201377","DOI":"10.1007\/s11229-008-9309-7"},{"key":"11_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/11853886_24","volume-title":"Logics in Artificial Intelligence","author":"E. Lorini","year":"2006","unstructured":"Lorini, E., Herzig, A., Castelfranchi, C.: Introducing \u201cattempt\u201d in a modal logic of intentional action. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 280\u2013292. Springer, Heidelberg (2006)"},{"key":"11_CR31","unstructured":"Marsh, S.: Formalising Trust as a Computational Concept. PhD thesis, University of Stirling, Scotland (1994)"},{"key":"11_CR32","first-page":"475","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002)","author":"J. Sabater","year":"2001","unstructured":"Sabater, J., Sierra, C.: Regret: a reputation model for gregarious societies. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), pp. 475\u2013482. ACM Press, New York (2001)"},{"key":"11_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(02)00365-X","volume":"144","author":"R.B. Scherl","year":"2003","unstructured":"Scherl, R.B., Levesque, H.: Knowledge, action, and the frame problem. Artificial Intelligence\u00a0144, 1\u201339 (2003)","journal-title":"Artificial Intelligence"},{"key":"11_CR34","first-page":"105","volume-title":"Causation in decision, belief change and statistics","author":"W. Spohn","year":"1998","unstructured":"Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in decision, belief change and statistics, pp. 105\u2013134. Kluwer, Dordrecht (1998)"},{"key":"11_CR35","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-94-017-0454-0_4","volume-title":"Handbook of Philosophical Logic","author":"J. Benthem van","year":"2001","unstructured":"van Benthem, J.: Correspondence theory. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a03, pp. 325\u2013408. Kluwer Academic Publishers, Dordrecht (2001)","edition":"2"},{"key":"11_CR36","volume-title":"Norm and Action","author":"G.H. Wright Von","year":"1963","unstructured":"Von Wright, G.H.: Norm and Action. Routledge and Kegan, London (1963)"},{"key":"11_CR37","first-page":"111","volume-title":"Trust and Deception in Virtual Societies","author":"M. Witkowski","year":"2001","unstructured":"Witkowski, M., Artikis, A., Pitt, J.: Experiments in building experiental trust in a society of objective-trust based agents. In: Castelfranchi, C., Tan, Y.H. (eds.) Trust and Deception in Virtual Societies, pp. 111\u2013132. Kluwer Academic Publishers, Dordrecht (2001)"}],"container-title":["Lecture Notes in Computer Science","Trust in Agent Societies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92803-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,6]],"date-time":"2025-02-06T09:52:55Z","timestamp":1738835575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92803-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540928027","9783540928034"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92803-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}