Joseph Y. Halpern Reasoning About Knowledge: An Overview. 1-17 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#Halpern86