63 citations · 72 across the 14 of their papers we have counts for
1 paper · 1 filter
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…