Belief, awareness and limited reasoning (1988)

by R Fagin, J Y Halpern
Venue:Artificial Intelligence