Reasoning about Knowledge (1995)

by R Fagin, J Y Halpern, Y Moses, M Y Vardi