Belief, awareness and limited reasoning (1988)

by R FAGIN, J Y HALPERN
Venue:Artificial Intelligence