Explicit Evidence Systems with Common Knowledge - Computer Science > Logic in Computer ScienceReportar como inadecuado




Explicit Evidence Systems with Common Knowledge - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.



Autor: Samuel Bucheli, Roman Kuznets, Thomas Studer

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados