Repository | Directory | Profile
The surprise examination in dynamic epistemic logic
2007
J. Gerbrandy
Synthese 155/1
