Reasoning About Knowledge (1995)

by Ronald Fagin, Joseph Y Halpern, Yoram Moses, Moshe Y Vardi