This directory contains a development of epistemic logic together with 
two examples: the wise men and the muddy children. 

http://perso.ens-lyon.fr/pierre.lescanne/COQ/EPISTEMIC/epistemic.pdf
(or http://perso.ens-lyon.fr/pierre.lescanne/PUBLICATIONS/epistemic_2.pdf)
is a paper which may serve as an introduction to the implementation.





Pierre LESCANNE                          | Tel: (0)4 72 72 86 83
Ecole Normale Superieure		 | Fax: (0)4 72 72 80 80
F69364 LYON  Cedex 07     FRANCE         | E-mail: Pierre.Lescanne@ens-lyon.fr
      more information on www at <http://perso.ens-lyon.fr/pierre.lescanne/>