Talk
September 2, 2002
Logic Seminar, Department of Informatics, University of Oslo

Completeness of Modal Logic with Distributed Knowledge