Completeness of Modal Logic with Distributed Knowledge

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