63 citations · 68 across the 3 of their papers we have counts for
3 papers
cs.LO2017★ 3 cited
Temporal Justification Logic
Samuel Bucheli, Meghdad Ghari, Thomas Studer
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…
cs.LO2015★ 2 cited
Some Notes on Temporal Justification Logic
Samuel Bucheli
Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification te…
cs.LO2010★ 63 cited
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…