The semantics of concurrent knowledge actions (2001)

by van Ditmarsch
Venue:Proc. ESSLLI Workshop on Logic and