Modelling knowledge and action in distributed systems (1989)

by J Y Halpern, R Fagin
Venue:Hin62] [HM90] [KR90] [Lat91] [Lev84] [LLS91] [LPMT84] [Moo85] [MT88] [Ros85] [TMC88] J. Hintikka. Knowledge and Bell@ Cornell