Modal logic
Models for the Logic of Proofs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
The logic of public announcements, common knowledge, and private suspicions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Introducing Justification into Epistemic Logic
Journal of Logic and Computation
Logics of communication and change
Information and Computation
Interacting Explicit Evidence Systems
Theory of Computing Systems
Complexity issues in justification logic
Complexity issues in justification logic
Dynamic epistemic logic with justification
Dynamic epistemic logic with justification
Dynamic Epistemic Logic
Partial realization in dynamic justification logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Arguing with justifications between collaborating agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
| Hi-index | 0.00 |
This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.