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

Abstract

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