Multi-agent justification logic: communication and evidence elimination

DOI10.1007/S11229-011-9968-7zbMATH Open1274.03029OpenAlexW2104729867MaRDI QIDQ375307FDOQ375307

Authors: 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

Recommendations

• Public communication in justification logic
• Distributed knowledge justification logics
• A logic of plausible justifications
• Simple evidence elimination in justification logic
• Justifications for common knowledge

zbMATH Keywords

dynamic epistemic logicjustification logicevidence elimination

Mathematics Subject Classification ID

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

Cites Work

• Reasoning about information change
• Modal logic
• The logic of public announcements, common knowledge, and private suspicions
• Logics of communication and change
• Logics for epistemic programs
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic for belief revision
• A qualitative theory of dynamic interactive belief revision
• Explicit provability and constructive semantics
• The logic of proofs, semantically
• Dynamic logic of preference upgrade
• The logic of justification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introducing Justification into Epistemic Logic
• Logics of public communications
• Public and private communication are different: Results on relative expressivity
• Inference and update
• Simple evidence elimination in justification logic
• Partial realization in dynamic justification logic
• Reasoning with Justifications
• Dynamic logics of evidence-based beliefs
• Interacting explicit evidence systems

Cited In (10)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• Tableaux and interpolation for propositional justification logics
• On the Complexity of Two-Agent Justification Logic
• Realizing public announcements by justifications
• A logic of plausible justifications
• A logic of plausible justifications
• A logic of knowing why
• Public communication in justification logic
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Distributed knowledge justification logics

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

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