A logic of negative trust

DOI10.1080/11663081.2020.1789404MaRDI QIDQ4995620zbMATH OpenOpenAlexFDO

Authors

Publication date 25 June 2021

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2434/751656

zbMATH Keywords

computational trustdistrustmistrustproof theoryrelational semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• Trust Management
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• A logic of trust and reputation
• Trust-based belief change
• Propositional trust logics

Cites work

• A logic of trust and reputation
• A modal type theory for formalizing trusted communications
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
• From Trust in Information Sources to Trust in Communication Systems:An Analysis in Modal Logic
• scientific article; zbMATH DE number 2084510 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Reasoning about trust and aboutness in the context of communication
• The semantics of untrustworthiness
• Transitivity and propagation of trust in information sources: an analysis in modal logic
• Trust Management

Cited in

(13)

• The semantics of untrustworthiness
• A multi-agent depth bounded Boolean logic
• Deontic reasoning with incomplete trust
• A logic of trust and reputation
• Propositional trust logics
• Trust Management
• A probabilistic modal logic for context-aware trust based on evidence
• A possible worlds semantics for trustworthy non-deterministic computations
• A logic of trust-based beliefs
• A logic for reasoning about (negative) trust under uncertainty
• Checking trustworthiness of probabilistic computations in a typed natural deduction system
• A logic of knowledge and justifications, with an application to computational trust
• Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation

This page was built for publication: A logic of negative trust

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4995620)