%0 Journal Article
%T Explicit Evidence Systems with Common Knowledge
%A Samuel Bucheli
%A Roman Kuznets
%A Thomas Studer
%J Mathematics
%D 2010
%I arXiv
%R 10.3166/JANCL.21.35-60
%X Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic.
%U http://arxiv.org/abs/1005.0484v1