A probabilistic modal logic for context-aware trust based on evidence
type: Item
instance of: scholarly article
title: A probabilistic modal logic for context-aware trust based on evidence
zbMATH Open document ID: 1545.68124
author: Alessandro Aldini
author: Gianluca Curzi
author: Pierluigi Graziani
author: Mirko Tagliaferri
published in: International Journal of Approximate Reasoning
publication date: 2024-07-10T00:00:00Z
Mathematics Subject Classification ID: 68T37
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7879260
zbMATH Keywords: probabilistic modal logic
zbMATH Keywords: trust
zbMATH Keywords: reasoning under uncertainty
MaRDI profile type: Publication
cites work: Design and verification of trusted collective adaptive systems
cites work: Trust evidence logic
cites work: Model Checking Probabilistic Systems
cites work: Comparative branching-time semantics for Markov chains
cites work: Graded modalities. II. (Canonical models)
cites work: Trust Management
cites work: Bisimulation for labelled Markov processes
cites work: Modal operators with probabilistic interpretations. I
cites work: In so many possible worlds
cites work: Q5625118
cites work: A logic for reasoning about time and reliability
cites work: Q3883467
cites work: A logic of trust and reputation
cites work: Foundations of security analysis and design IV. FOSAD 2006/2007 tutorial lectures
cites work: Reasoning about belief, evidence and trust in a multi-agent setting
cites work: A logic of negative trust
cites work: From belief to trust: A quantitative framework based on modal logic
DOI: 10.1016/J.IJAR.2024.109167
description: scientific article; zbMATH DE number 7879260