We present a logical framework that enables us to define a formal theory of computational trust in which this notion is analysed in terms of epistemic attitudes towards the possible objects of trust and in relation to existing evidence in favour of the trustworthiness of these objects. The framework is based on a quantified epistemic and justification logic featuring a non-standard handling of identities. Thus, the theory is able to account for the hyperintensional nature of computational trust. We present a proof system and a frame semantics for the logic, we prove soundness and completeness results and we introduce the syntactical machinery required to define a theory of trust.

翻译：我们提出一个逻辑框架，用以定义计算信任的形式理论。在该理论中，信任概念通过主体对潜在信任对象的认知态度以及支持这些对象可信性的现有证据进行分析。该框架基于一种量化认知与证成逻辑，其特点是对同一性进行非标准处理。因此，该理论能够解释计算信任的超内涵本质。我们为该逻辑提出了一个证明系统与框架语义，证明了其可靠性与完备性，并引入了定义信任理论所需的语法机制。