Academic
Publications
Evidence-Based Common Knowledge

Evidence-Based Common Knowledge,Sergei Artemov

Evidence-Based Common Knowledge   (Citations: 32)
BibTex | RIS | RefWorks Download
In this paper we introduce a new type of knowledge operator, called evidence- based knowledge, intended to capture the constructive core of common knowledge. An evidence-based knowledge system is obtained by augmenting a multi-agent logic of knowledge with a system of evidence assertions t:' ("t is an evidence for '") based on the following plausible assumptions: 1) each axiom has evidence; 3) evidence is checkable; 3) any evidence implies individual knowledge for each agent. Normally, the following monotonicity property is also assumed: 4) any piece of evidence is compatible with any other evidence. We show that the evidence-based knowledge operator is a stronger version of the common knowledge operator. Evidence-based knowledge is free of logical omniscience, model-independent, and has a natural motivation. Furthermore, evidence-based knowledge can be presented by normal multi-modal logics, which are in the scope of well-developed machinery applicable to modal logic: epistemic models, normalized proofs, automated proof search, etc.
Published in 2005.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Justification Logic thus has a built-in notion of justification that, when combined with a possible worlds semantics [2, 13, 3], again allows us to capture true Hintikka-belief...

    Bryan Renne. Public communication in justification logic

    • ...Proper modifications of Fitting semantics can accommodate multiple modalities and proof assertions and are playing a key role connecting the Logic of Proofs with epistemic modal logics ([4,5,8,9])...

    Sergei N. Artëmov. Symmetric Logic of Proofs

    • ...The second semantics is the single agent version of an n-agent logic of knowledge with explicit common knowledge, [9,10]...
    • ...One, from [9,10], allows not just one but multiple agents, each with its own knowledge operator, Ki, but with justifications meaningful to all and playing the role of justified common knowledge...

    Melvin Fitting. S4LPand Local Realizability

    • ...In [3] it was suggested to treat [[ t]] F as a new type of knowledge operator called evidence-based knowledge with the meaning “t is an evidence (justification) for F .” Evidence based knowledge (EBK) systems are obtained by augmenting a multi–agent logic of knowledge with a system of evidence assertions [[ t]] F . Three main cases of EBK-systems were introduced in [3] in which the base knowledge logic is Tn, S4n or S5n...
    • ...In [3] it was suggested to treat [[ t]] F as a new type of knowledge operator called evidence-based knowledge with the meaning “t is an evidence (justification) for F .” Evidence based knowledge (EBK) systems are obtained by augmenting a multi–agent logic of knowledge with a system of evidence assertions [[ t]] F . Three main cases of EBK-systems were introduced in [3] in which the base knowledge logic is Tn, S4n or S5n...

    Unknown. Interacting Explicit Evidence Systems

    • ...In [3], Artemov suggested an epistemic semantics for LP, in which a formula [[ t]] F is interpreted as “t is evidence for F ” (evidence-based knowledge)...

    N. M. Rubtsova. Logic of proofs with substitution

Sort by: