Explicit Evidence Systems with Common Knowledge

Details Explicit Evidence Systems with Common Knowledge Explicit Evidence Systems with Common Knowledge

2010-05-04

arxiv.org/abs/1005.0484v1

Computer Science

Logic in Computer Science

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Explicit Evidence Systems with Common Knowledge does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Explicit Evidence Systems with Common Knowledge, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Explicit Evidence Systems with Common Knowledge will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-531939