Joseph Y. Halpern A Theory of Knowledge and Ignorance for Many Agents. 79-108 1997 7 J. Log. Comput. 1 db/journals/logcom/logcom7.html#Halpern97