Multi-agent justification logic: communication and evidence elimination

DOI10.1007/s11229-011-9968-7zbMath1274.03029OpenAlexW2104729867MaRDI QIDQ375307

Bryan Renne

Publication date: 29 October 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9968-7

zbMATH Keywords

dynamic epistemic logicjustification logicevidence elimination

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ A logic of knowing why ⋮ Realizing public announcements by justifications ⋮ Distributed knowledge justification logics ⋮ A logic of plausible justifications ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic logics of evidence-based beliefs
• The logic of proofs, semantically
• Logics of communication and change
• Interacting explicit evidence systems
• Public and private communication are different: Results on relative expressivity
• Inference and update
• Reasoning about information change
• Logics for epistemic programs
• Logics of public communications
• Explicit Provability and Constructive Semantics
• Simple Evidence Elimination in Justification Logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Partial Realization in Dynamic Justification Logic
• Introducing Justification into Epistemic Logic
• THE LOGIC OF JUSTIFICATION
• Reasoning with Justifications
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• Dynamic logic of preference upgrade

This page was built for publication: Multi-agent justification logic: communication and evidence elimination