Explicit Evidence Systems with Common Knowledge - Computer Science > Logic in Computer ScienceReport as inadecuate




Explicit Evidence Systems with Common Knowledge - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: Justification logics are epistemic logics that explicitly includejustifications for the agents- knowledge. We develop a multi-agentjustification logic with evidence terms for individual agents as well as forcommon knowledge. We define a Kripke-style semantics that is similar toFitting-s semantics for the Logic of Proofs LP. We show the soundness,completeness, and finite model property of our multi-agent justification logicwith respect to this Kripke-style semantics. We demonstrate that our logic is aconservative extension of Yavorskaya-s minimal bimodal explicit evidence logic,which is a two-agent version of LP. We discuss the relationship of our logic tothe multi-agent modal logic S4 with common knowledge. Finally, we give a briefanalysis of the coordinated attack problem in the newly developed language ofour logic.



Author: Samuel Bucheli, Roman Kuznets, Thomas Studer

Source: https://arxiv.org/







Related documents