Knowledge in Multi-Agent Systems | part of Reasoning About Knowledge | MIT Press books | IEEE Xplore