×
Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y.

What can machines know? On the properties of knowledge in distributed systems. (English) Zbl 0799.68179

J. Assoc. Comput. Mach. 39, No. 2, 328-376 (1992).

Cited in 1 Review
Cited in 34 Documents

MSC:

68T35 Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence
68T30 Knowledge representation

Keywords:

distributed knowledge; properties of knowledge; reasoning about knowledge; axioms; modal logic S5
Cite Review PDF
Full Text: DOI