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
Dvi-file
PS-File
PDF-File
Bibtex Entry
![]() March 1999 © Peter van Emde Boas |
![]() DEON'91, December 11, 1991 © Peter van Emde Boas |