Trust and Belief, Interrelation

Workshop on Agreement Technologies 2010.

计算机科学;

Besik Dundua1 ; Levan Uridia2 ; 2 Universidad Rey Juan Carlos de Madrid ; Spain

Others  :  http://ceur-ws.org/Vol-657/paper03.pdf
PID  :  41424

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

We introduce the modal system B2T which is a multi-modal language designed to talk about trust and belief of two agents. The belief operators are based on modal system KS. This gives the main dierence with already known system BA introduced by Churn-Jung Liau [2] and also carries its own intuitive meaning. As a main result we prove that B2T is sound and complete with respect to the given semantics, which is a mixture of the Kripke and neighborhood semantics.