Bryan Renne (Faculty of Philosophy, University of Groningen, NL)

Multi-Agent Justification Logic: Communication and Evidence Elimination

Abstract: In this talk, I will present a dynamic theory of
communication and evidence elimination based on tools and techniques
from each of Dynamic Epistemic Logic and Justification Logic.  The
goal of this work is to develop the basic machinery needed for a
unified theory of reasoning and epistemic actions.