Belief closure: A semantics of common knowledge for modal propositional logic
scientific article; zbMATH DE number 1109477
scientific article