Distributed knowledge justification logics

DOI10.1007/s00224-013-9492-xzbMath1344.03017arXiv1407.4647OpenAlexW2063610554MaRDI QIDQ2254486

Meghdad Ghari

Publication date: 5 February 2015

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.4647

zbMATH Keywords

multi-agent systemsjustification logicrealization theoremdistributed knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (5)

Possibilistic Justification Logic ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ A note on strong axiomatization of Gödel justification logic ⋮ Justification logic with confidence ⋮ Justification Logics with Probability Operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-agent justification logic: communication and evidence elimination
• Realization for justification logics via nested sequents: modularity through embedding
• The logic of proofs, semantically
• Interacting explicit evidence systems
• Justification logics, logics of knowledge, and conservativity
• Group knowledge is not always distributed (neither is it always implicit)
• Realizing public announcements by justifications
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• Public communication in justification logic
• THE LOGIC OF JUSTIFICATION
• Tracking Evidence
• Distributed knowledge
• MAKING SOME ISSUES OF IMPLICIT KNOWLEDGE EXPLICIT
• What can machines know?
• Distributed Knowledge with Justifications

This page was built for publication: Distributed knowledge justification logics