Joseph Y. Halpern Gerhard Lakemeyer Multi-agent Only Knowing. 41-70 2001 11 J. Log. Comput. 1 http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_01/110041.sgm.abs.html db/journals/logcom/logcom11.html#HalpernL01