{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T23:57:53Z","timestamp":1771459073224,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642053009","type":"print"},{"value":"9783642053016","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05301-6_6","type":"book-chapter","created":{"date-parts":[[2009,10,13]],"date-time":"2009-10-13T11:41:56Z","timestamp":1255434116000},"page":"81-98","source":"Crossref","is-referenced-by-count":9,"title":["From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic"],"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":"6_CR1","volume-title":"Handbook of Philosophical Logic","author":"L. \u00c5qvist","year":"2002","unstructured":"\u00c5qvist, L.: Deontic logic. In: Gabbay, D.M., Geunther, F. (eds.) Handbook of Philosophical Logic. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"6_CR2","first-page":"43","volume-title":"Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998)","author":"A. Baltag","year":"1998","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Proceedings of the Seventh Conference on Theoretical Aspects of Rationality and Knowledge (TARK 1998), pp. 43\u201356. Morgan Kaufmann, San Francisco (1998)"},{"issue":"5","key":"6_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"6_CR4","first-page":"103","volume-title":"Deontic logic in computer science: normative system specification","author":"P. Bieber","year":"1993","unstructured":"Bieber, P., Cuppens, F.: Expression of confidentiality policies with deontic logic. In: Deontic logic in computer science: normative system specification, pp. 103\u2013123. John Wiley and Sons, Chichester (1993)"},{"key":"6_CR5","doi-asserted-by":"crossref","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":"6_CR6","unstructured":"Bratman, M.: Intentions, plans, and practical reason. Harvard University Press (1987)"},{"issue":"1","key":"6_CR7","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":"6_CR8","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":"6_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/0004-3702(90)90055-5","volume":"42","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence\u00a042, 213\u2013261 (1990)","journal-title":"Artificial Intelligence"},{"key":"6_CR10","first-page":"66","volume-title":"Proceedings of Third International Workshop on Deontic Logic in Computer Science (DEON 1996), Workshops in Computing","author":"F. Cuppens","year":"1996","unstructured":"Cuppens, F., Demolombe, R.: A Deontic Logic for Reasoning about Confidentiality. In: Proceedings of Third International Workshop on Deontic Logic in Computer Science (DEON 1996), Workshops in Computing, pp. 66\u201379. Springer, Heidelberg (1996)"},{"key":"6_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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 (LNAI), vol.\u00a03487, pp. 144\u2013160. Springer, Heidelberg (2005)"},{"key":"6_CR12","volume-title":"Trust and Deception in Virtual Societies","author":"R. Demolombe","year":"2001","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 (2001)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1177\/002200275800200401","volume":"2","author":"M. Deutsch","year":"1958","unstructured":"Deutsch, M.: Trust and suspicion. The Journal of Conflict Resolution\u00a02(4), 265\u2013279 (1958)","journal-title":"The Journal of Conflict Resolution"},{"key":"6_CR14","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":"6_CR15","doi-asserted-by":"crossref","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":"6_CR16","volume-title":"Agent Technology for E-commerce","author":"M. Fasli","year":"2007","unstructured":"Fasli, M.: Agent Technology for E-commerce. Wiley & Sons, Chichester (2007)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J. Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language, and Information\u00a06, 147\u2013196 (1997)","journal-title":"Journal of Logic, Language, and Information"},{"key":"6_CR18","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/IAS.2007.20","volume-title":"Proceedings of the Third International Symposium on Information Assurance and Security (IAS 2007)","author":"J.H. Hammer","year":"2007","unstructured":"Hammer, J.H., Schneider, G.: On the Definition and Policies of Confidentiality. In: Proceedings of the Third International Symposium on Information Assurance and Security (IAS 2007), pp. 337\u2013342. IEEE Computer Society, Los Alamitos (2007)"},{"key":"6_CR19","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":"6_CR20","unstructured":"Herzig, A., Lorini, E., Hubner, J.F., Ben-Naim, J., Castelfranchi, C., Demolombe, R., Longin, D., Vercouter, L.: Prolegomena for a logic of trust and reputation. In: Proceedings of the Third International Workshop on Normative Multiagent Systems, NorMAS 2008 (2008)"},{"key":"6_CR21","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":"6_CR22","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":"6_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)"},{"key":"6_CR24","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":"6_CR25","series-title":"Lecture Notes in Artificial Intelligence","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. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 50\u201364. Springer, Heidelberg (2008)"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/s11229-008-9309-7","volume":"163","author":"E. Lorini","year":"2008","unstructured":"Lorini, E., Herzig, A.: A logic of intention and attempt. Synthese\u00a0163(1), 45\u201377 (2008)","journal-title":"Synthese"},{"key":"6_CR27","unstructured":"Marsh, S.: Formalising Trust as a Computational Concept. PhD thesis, University of Stirling (1994)"},{"issue":"2","key":"6_CR28","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/5254.920599","volume":"16","author":"S.A. Mcllraith","year":"2001","unstructured":"Mcllraith, S.A., Son, T.C., Zeng, H.: Semantic web services. IEEE Intelligent Systems\u00a016(2), 46\u201353 (2001)","journal-title":"IEEE Intelligent Systems"},{"issue":"1-2","key":"6_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(99)00061-2","volume":"113","author":"J.-J.C. Meyer","year":"1999","unstructured":"Meyer, J.-J.Ch., van der Hoek, W., van Linder, B.: A logical approach to the dynamics of commitments. Artificial Intelligence\u00a0113(1-2), 1\u201340 (1999)","journal-title":"Artificial Intelligence"},{"key":"6_CR30","first-page":"473","volume-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991)","author":"A.S. Rao","year":"1991","unstructured":"Rao, A.S., Georgeff, M.P.: Modelling rational agents within a BDI-architecture. In: Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), pp. 473\u2013484. Morgan Kaufmann, San Francisco (1991)"},{"key":"6_CR31","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)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Representation for Agents and Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05301-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T18:48:09Z","timestamp":1739386089000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05301-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642053009","9783642053016"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05301-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}