This paper presents a logic for reasoning about information change in multi-agent settings based on epistemic arrow deletion in Kripke models.

Justification Logic is a framework for reasoning about evidence and justification in multi-agent systems. Most accounts of Justification Logic are essentially static, in that the (justified) beliefs of agents are immutable. In this article, we add public communication, a dynamic operation of belief change studied in the area of Dynamic Epistemic Logic, to the language of Justification Logic. Introducing notions of bisimulation for the languages of Justification Logic with and without public communication, we catalogue the expressive relationships that exist between almost all of the well-known static fragments of Justification Logic and then determine whether the addition of public communication affects the various expressive relationships existing between these fragments.

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.