Explicit Evidence Systems with Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for ind…