PS-File
PDF-File
Bibtex Entry
Department of Computing Science
University of Groningen
P.O. Box 800,
9700 AV Groningen
The Netherlands.
grl@cs.rug.nl
http://www.cs.rug.nl/~grl/
A two-part contribution to Johan van Benthem's Liber/CD-ROM Amicorum: some recollections, and some ideas for our common project with Hans van Ditmarsch on Knowledge Games in the form of a proposal for the semantics of regular static knowledge games.