A Postscript to a Completeness Proof for Johan

Wiebe van der Hoek and John-Jules Meyer

Department of Computer Science
Utrecht University
P.O.Box 80089
3508 TB Utrecht
The Netherlands
wiebe@cs.uu.nl http://www.cs.uu.nl/people/wiebe
jj@cs.uu.nl http://www.cs.uu.nl/people/jj


We use our paper ``A Complete Epistemic Logic for Multiple Agents'' as a demonstration of Johan's influence on our work on epistemic logic: it uses several techniques and tools that in many ways go back to his early work on modal logic. We then end with two personal reflections

Bibtex Entry

March 1999
© Peter van Emde Boas

DEON'91, December 11, 1991
© Peter van Emde Boas