1. and , Knowledge and common knowledge in a distributed environment. IBM Rescarch Report RJ 4421 (47909), IBM Research Laboratory, San Jose, Ca. 1984.
2. , and , Process Logics: Expressiveness, Decidability, Completeness. Springer-Verlag, Berlin-Heidelberg-New York 1985.
3. An elementary proof of the completeness of PDL
4. An axiomatization of knowledge and the example of the wise man puzzle. Unpublished notes, Computer Science Department, Stanford University, Stanford, Ca., July 1977.
5. One thousand and one process logics. MIT/LCS/TM-156, 1980.