Journal of the ACM Bibliography
Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi. A
model-theoretic analysis of knowledge. Journal of the ACM,
38(2):382-428, April 1991.
[BibTeX entry]
Categories and Subject Descriptors:
F.4.1 [Mathematical Logic and Formal Languages]:
Mathematical Logic -- model theory; I.2.4 [Artificial
Intelligence]: Knowledge Representation Formalisms and Methods
-- representation languages
General Terms:
Theory
Additional Key Words and Phrases:
Common knowledge, distributed systems, epistemology, knowledge,
knowledge structures, Kripke structure, modal logic, possible worlds,
reasoning about knowledge
Selected papers that cite this one
- Andrew Dabrowski, Lawrence S. Moss, and Rohit Parikh. Topological
reasoning and the logic of knowledge. Annals of Pure and
Applied Logic, 78(1-3):73-110, 4 April 1996.
- Ronald Fagin. A quantitative analysis
of modal logic. The Journal of Symbolic Logic,
59(1):209-252, March 1994.
- Joseph Y. Halpern. A theory of knowledge
and ignorance for many agents. Journal of Logic and
Computation, 7(1):79-108, February 1997.
- Ron van der Meyden. Common
knowledge and update in finite environments. Information and
Computation, 140(2):115-157, 1 February 1998.
- Gil Neiger and Sam Toueg. Simulating synchronized clocks and
common knowledge in distributed systems. Journal of the
ACM, 40(2):334-367, April 1993.
Selected references
- Cynthia Dwork and Yoram Moses. Knowledge and common knowledge in a
Byzantine environment: Crash failures. Information and
Computation, 88(2):156-186, October 1990.
- Ronald Fagin and Moshe Y. Vardi. An internal semantics for
modal logic: Preliminary report. In Proceedings of the
Seventeenth Annual ACM Symposium on Theory of Computing, pages
305-315, Providence, Rhode Island, 6-8 May 1985.
- Joseph Y. Halpern and Yoram Moses. Knowledge and common knowledge in
a distributed environment. Journal of the ACM,
37(3):549-587, July 1990.
- Joseph Y. Halpern and Moshe Y. Vardi. The complexity of
reasoning about knowledge and time: Extended abstract. In
Proceedings of the Eighteenth Annual ACM Symposium on Theory of
Computing, pages 304-315, Berkeley, California, 28-30 May 1986.
- Yoram Moses and Mark R. Tuttle. Programming simultaneous
actions using common knowledge: Preliminary version. In 27th
Annual Symposium on Foundations of Computer Science, pages
208-221, Toronto, Ontario, Canada, 27-29 October 1986. IEEE.
- M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence
of faults. Journal of the ACM, 27(2):228-234, April
1980.
- Moshe Y. Vardi. On
the complexity of epistemic reasoning. In Proceedings, Fourth
Annual Symposium on Logic in Computer Science, pages 243-252,
Asilomar Conference Center, Pacific Grove, California, 5-8 June 1989.
IEEE Computer Society Press.
Shortcuts: