Conference paper
A model-theoretic analysis of knowledge: Preliminary report
Ronald Fagin, Joseph Y. Halpern, et al.
FOCS 1984
Ronald Fagin, Joseph Y. Halpern, et al.
FOCS 1984
Joseph Y. Halpern, Ronald Fagin
Distributed Computing
Marco A. Casanova, Ronald Fagin, et al.
Journal of Computer and System Sciences
Tuǧkan Batu, Sanjoy Dasgupta, et al.
SIAM Journal on Computing