We present SBTrust, a logical framework designed to formalize decision trust. Our logic integrates a doxastic modality with a novel non-monotonic conditional operator that establishes a positive support relation between statements, and is closely related to a known dyadic deontic modality. For SBTrust, we provide semantics, proof theory and complexity results, as well as motivating examples. Compared to existing approaches, our framework seamlessly accommodates the integration of multiple factors in the emergence of trust.

翻译：我们提出了SBTrust，一个旨在形式化决策信任的逻辑框架。我们的逻辑将信念模态与一种新颖的非单调条件算子相结合，该算子在语句间建立正向支持关系，并与已知的二元道义模态密切相关。针对SBTrust，我们提供了语义学、证明理论及复杂性结果，并给出了激励性示例。与现有方法相比，我们的框架能无缝适应多因素在信任涌现过程中的整合。