Advanced search

Found 1 essay matching the above criteria.

1. 1. Trust Logics and Their Horn Fragments : Formalizing Socio-Cognitive Aspects of Trust

   University essay from Linköpings universitet/Matematik och tillämpad matematik; Linköpings universitet/Tekniska högskolan

   Author : Karl Nygren; [2015]
   Keywords : Trust; modal logic; multi-agent systems; Horn fragment;

   Abstract : This thesis investigates logical formalizations of Castelfranchi and Falcone's (C&F) theory of trust [9, 10, 11, 12]. The C&F theory of trust defines trust as an essentially mental notion, making the theory particularly well suited for formalizations in multi-modal logics of beliefs, goals, intentions, actions, and time. READ MORE