Relation of Trust and Social Emotions: A Logical Approach

Trust and social emotions such as gratitude and anger have natural relations and they both play a key role in research of interaction systems in the context of ambient intelligence and affective computing nowadays. This paper presents a logical approach to formalize both the relations between trust and anger for one hand, and between distrust and gratitude for another hand. Our formal framework is a multimodal logic that combines a logic of belief and choice, a logic of linear time, and a logic of norms. We also provide the behavioral validation for these relations.