Robert F. Hadley Logical omniscience, semantics, and models of belief. 17-30 1988 4 Computational Intelligence db/journals/ci/ci4.html#Hadley88