Trust and commitment in dynamic logic

DOI10.1007/3-540-36087-5_79MaRDI QIDQ4427243zbMATH OpenFDO

Authors Mehdi Dastani, Zhisheng Huang, Leendert van der Torre, Jan Broersen

Publication date 18 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2510/25100677.htm, http://dspace.library.uu.nl:8080/handle/1874/19916

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Logic in artificial intelligence (68T27) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Trust Management
• A logic of trust and reputation
• A logical analysis of commitment dynamics
• Trust and Norms in the Context of Computer Security: A Logical Formalization
• A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies

Cited in

(11)

• How to decide what to do?
• Trust evidence logic
• Trust management for \(e\)-transactions
• Trust, Reliance, Good Faith, and the Law
• A Question of Trust: Assessing the Fulfillment of Commitments in Terms of Strategies
• A logic of trust and reputation
• A modal type theory for formalizing trusted communications
• Trust in the λ-calculus
• Trust objects in electronic commerce transactions
• From belief to trust: A quantitative framework based on modal logic
• Living up to one's commitments: Agency, strategies and trust

This page was built for publication: Trust and commitment in dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4427243)