INTRODUCTION TO THE SEMANTICS OF BELIEF AND COMMON BELIEF

We provide an introduction to interactive belief systems from a qualitative and semantic point of view. Properties of belief hierarchies are formulated locally. Among the properties considered are ""Common belief in no error"" (which has been shown to have important game theoretic applications), ""Negative introspection of common belief"" and ""Truth about common belief."" The relationship between these properties is studied.