TY - JOUR

T1 - Common belief in monotonic epistemic logic

AU - Heifetz, Aviad

N1 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.

PY - 1996/10

Y1 - 1996/10

N2 - We study the extent to which the notion of common belief may be expressed by a finitary logic. We devise a set of axioms for common belief in a system where beliefs are only required to be monotonic. These axioms are generally less restrictive than those in the existing literature. We prove completeness with respect to monotonic neighborhood models, in which the iterative definition for common belief may involve transfinite levels of mutual belief. We show that this definition is equivalent to the fixed-point type definition that Monderer and Samet elaborated in a probabilistic framework. We show further, that in systems as least as strong as the K-system, our axiomatization for common belief coincides with other existing axiomatizations. In such systems, however, there are consistent sets of formulas that have no model. We conclude that the full contents of common belief cannot be expressed by a logic that admits only finite conjunctions.

AB - We study the extent to which the notion of common belief may be expressed by a finitary logic. We devise a set of axioms for common belief in a system where beliefs are only required to be monotonic. These axioms are generally less restrictive than those in the existing literature. We prove completeness with respect to monotonic neighborhood models, in which the iterative definition for common belief may involve transfinite levels of mutual belief. We show that this definition is equivalent to the fixed-point type definition that Monderer and Samet elaborated in a probabilistic framework. We show further, that in systems as least as strong as the K-system, our axiomatization for common belief coincides with other existing axiomatizations. In such systems, however, there are consistent sets of formulas that have no model. We conclude that the full contents of common belief cannot be expressed by a logic that admits only finite conjunctions.

KW - Common belief

KW - Common knowledge

KW - Epistemic logic

UR - http://www.scopus.com/inward/record.url?scp=0030268381&partnerID=8YFLogxK

U2 - 10.1016/0165-4896(96)00812-8

DO - 10.1016/0165-4896(96)00812-8

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0030268381

SN - 0165-4896

VL - 32

SP - 109

EP - 123

JO - Mathematical Social Sciences

JF - Mathematical Social Sciences

IS - 2

ER -