Trust evidence logic

DOI10.1007/978-3-030-86772-0_41OpenAlexW3199141198MaRDI QIDQ2146059

Pierluigi Graziani, Mirko Tagliaferri, Gianluca Curzi, Alessandro Aldini

Publication date: 15 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-86772-0_41

zbMATH Keywords

trustcompletenessprobabilistic modal logic

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal operators with probabilistic interpretations. I
• Graded modalities. II. (Canonical models)
• Bisimulation through probabilistic testing
• A logic for reasoning about time and reliability
• Reasoning about belief, evidence and trust in a multi-agent setting
• Comparative branching-time semantics for Markov chains
• Bisimulation for labelled Markov processes
• In so many possible worlds
• Model Checking Probabilistic Systems
• STRONG COMPLETENESS OF COALGEBRAIC MODAL LOGICS

This page was built for publication: Trust evidence logic