Knowledge and common knowledge in a distributed environment. (English) Zbl 0699.68115

Halpern, Joseph Y.; Moses, Yoram

J. Assoc. Comput. Mach. 37, No. 3, 549-587 (1990).

MSC:

68T99	Artificial intelligence
68N25	Theory of operating systems
68Q60	Specification and verification (program logics, model checking, etc.)
68N99	Theory of software

Keywords:

reliability; testing; fault-tolerance; computer-communication; networks; network protocols; protocol verification; program; verification; specifying and verifying and reasoning about; programs; knowledge representation formalisms and methods; distributed knowledge; common knowledge