A dynamic solution to the problem of logical omniscience
scientific article; zbMATH DE number 7075016
scientific article