Common knowledge revisited
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1999
- Annals of Pure and Applied Logic
Publications
3 results at Annals of Pure and Applied Logic
Verification of concurrent programs: the automata-theoretic framework* * A prelimary version of this paper appeared in Proc. 2nd IEEE Symp. on Logic in Computer Science, Ithaca, 1987, pp. 167-176.
- Moshe Y. Vardi
- 1991
- Annals of Pure and Applied Logic
First-order definability on finite structures
- Miklos Ajtai
- 1989
- Annals of Pure and Applied Logic