Common Knowledge and Update in Finite Environments

Ron van der Meyden. Common Knowledge and Update in Finite Environments. Inf. Comput., 140(2):115-157, 1998.

Abstract

Abstract is missing.