Common Belief with the Logic of Individual Belief

The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief operator may fail to satisfy axiom 5. That is, it can happen that neither is A commonly believed nor is it common belief that A is not commonly believed. We identify the intersubjective restrictions on individual beliefs that are incorporated in axiom 5 for common belief. Mathematics Subject Classi...cation: 03B45, 68T27.

• Type: Journal
• Year: 2000
• Where: MLQ
• Authors: Giacomo Bonanno, Klaus Nehring
• Keywords: Belief Operator, Common Belief, Individual Beliefs, MLQ 2000