Iterative and fixed point common belief
infinitary extensions to classical epistemic logic systems
scientific article; zbMATH DE number 1275390