Multi-agent Justification Logic: communication and evidence elimination

Bryan Renne. Multi-agent Justification Logic: communication and evidence elimination. Synthese, 185(Supplement-1):43-82, 2012. [doi]

Abstract

Abstract is missing.