, Volume 28, Issue 1, pp 61-79

Iterative and fixed point common belief

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We define infinitary extensions to classical epistemic logic systems, and add also a common belief modality, axiomatized in a finitary, fixed-point manner. In the infinitary K system, common belief turns to be provably equivalent to the conjunction of all the finite levels of mutual belief. In contrast, in the infinitary monotonic system, common belief implies every transfinite level of mutual belief but is never implied by it. We conclude that the fixed- point notion of common belief is more powerful than the iterative notion of common belief.